Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642287282, 9783642287299
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals On the Complexity of the Equivalence Problem for Probabilistic Automata

2012 ◽  
pp. 467-481 ◽  
Author(s):  
Stefan Kiefer ◽  
Andrzej S. Murawski ◽  
Joël Ouaknine ◽  
Björn Wachter ◽  
James Worrell
Keyword(s):  
Equivalence Problem ◽  
Probabilistic Automata

scholarly journals A Coalgebraic Perspective on Minimization and Determinization

2012 ◽  
pp. 58-73 ◽  
Author(s):  
Jiří Adámek ◽  
Filippo Bonchi ◽  
Mathias Hülsbusch ◽  
Barbara König ◽  
Stefan Milius ◽  
...  

scholarly journals On Distributability of Petri Nets

2012 ◽  
pp. 331-345 ◽  
Author(s):  
Rob van Glabbeek ◽  
Ursula Goltz ◽  
Jens-Wolfhard Schicke-Uffmann
Keyword(s):  
Petri Nets
Load More ...
Sign in / Sign up

Export Citation Format

Share Document