Formal Methods in Computer Science Plus de livres similaires
Applications and Theory of Petri Nets
2009
Time for Verification
2010
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
2022
Foundations of Software Science and Computational Structures
2009
CONCUR 2011 -- Concurrency Theory
2011
Machines, Computations, and Universality
2022
Theoretical Aspects of Computing – ICTAC 2022
2022
Theoretical Aspects of Computing – ICTAC 2020
2020
Reachability Problems
2011
Transactions on Petri Nets and Other Models of Concurrency XV
2021
Language and Automata Theory and Applications
2010
SOFSEM 2009: Theory and Practice of Computer Science
2009
Machines, Computations, and Universality
2007
Language and Automata Theory and Applications
2011
Applications and Theory of Petri Nets
2010