Yazar
Braga, Christiano. editor.
Format:
Electronic Resources
Alıntı:
animation of Turing Machines -- Towards completeness in Bounded Model Checking through Automatic Recursion
View Other Search Results
Yazar
Combemale, Benoît. editor.
Format:
Electronic Resources
Alıntı:
Tool for State Machines and Sequence Diagrams -- Towards User-Friendly Projectional -- Bounded Seas
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: