A Comparison of Succinctly Represented Finite−State Systems
Romain Brenguier‚ Stefan Göller and Ocan Sankur
Address
Newcastle‚ UK
Book Title
Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12)
Month
sep
Pages
147−161
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
7454
Year
2012