Search results for: Scott A. Smolka
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 136-151
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 5-19
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > Session 5(b) > 209-220
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 367-383
Lecture Notes in Computer Science
Theoretical Computer Science > 2015 > 599 > Complete > 34-46
IEEE/ACM Transactions on Computational Biology and Bioinformatics > 2013 > 10 > 2 > 323 - 336
Formal Methods in System Design > 2012 > 41 > 3 > 295-320
International Journal on Software Tools for Technology Transfer > 2012 > 14 > 3 > 327-347
Innovations in Systems and Software Engineering > 2011 > 7 > 2 > 119-130
Science of Computer Programming > 2010 > 75 > 6 > 440-469