Wyniki wyszukiwania dla: Alfons Laarman
Innovations in Systems and Software Engineering > 2019 > 15 > 3-4 > 235-251
Lecture Notes in Computer Science > Model Checking Software > Abstractions and State-Space Reductions > 38-56
Lecture Notes in Computer Science > NASA Formal Methods > Tool Papers > 506-511
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 321-335
International Journal on Software Tools for Technology Transfer > 2016 > 18 > 4 > 427-448
Electronic Notes in Theoretical Computer Science > 2013 > 296 > Complete > 127-143
Electronic Notes in Theoretical Computer Science > 2013 > 296 > Complete > 95-105
Formal Methods in Computer Aided Design > 247 - 255