RT @SpringerJapan: 【新刊】Tools and Algorithms for the Construction and Analysis of Systems(システムの構築と分析のためのツールとアルゴリズム)LNCSシリーズ Vol.14572 TACAS…
75 followers
7,883 followers
【新刊】Tools and Algorithms for the Construction and Analysis of Systems(システムの構築と分析のためのツールとアルゴリズム)LNCSシリーズ Vol.14572 TACAS 2024の第30回国際会議の会議録です。オープンアクセスでどなたでも無料で読むことができます。 https://t.co/RLxwnQZXXE #OpenAccess https://t.co/ORixGywIwG
52 followers
Co-authors: Dirk Beyer @beyer_dirk, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg Paper: https://t.co/6Co84YBRM8 Artifact: https://t.co/DFAXbdFa3L
281 followers
Nils Husung, Clemens Dubslaff, Holger Hermanns, and Maximilian A. Köhl: OxiDD: A safe, concurrent, modular, and performant decision diagram framework in Rust. Published at TACAS'24 https://t.co/bmsVT1DBLV