๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[American Institute of Aeronautics and Astronautics Infotech@Aerospace 2012 - Garden Grove, California ()] Infotech@Aerospace 2012 - Logic Model Checking of Time-Periodic Real-Time Systems

โœ Scribed by Florian, Mihai; Gamble, Ed; Holzmann, Gerard


Book ID
118054880
Publisher
American Institute of Aeronautics and Astronautics
Year
2012
Weight
240 KB
Category
Article
ISBN
1600869394

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES