Search results
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Petri Nets > 211-225
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Established Formalisms and Standards > 293-307
Theoretical Computer Science > 2013 > 474 > Complete > 1-20