undefined, Models, Algorithms, Logics and Tools, Models, Algorithms, Logics and Tools
undefined, Models, Algorithms, Logics and Tools, Models, Algorithms, Logics and Tools
undefined, Models, Algorithms, Logics and Tools, Models, Algorithms, Logics and Tools
undefined, Models, Algorithms, Logics and Tools, Models, Algorithms, Logics and Tools
undefined, Models, Algorithms, Logics and Tools, Models, Algorithms, Logics and Tools undefined, Models, Algorithms, Logics and Tools, Models, Algorithms, Logics and Tools undefined, Models, Algorithms, Logics and Tools, Models, Algorithms, Logics and Tools undefined, Models, Algorithms, Logics and Tools, Models, Algorithms, Logics and Tools

Information Flow for Timed Automata.- A Nivat Theorem for Quantitative Automata on Unranked Trees.- 30 Years of Modal Transition Systems: Survey of Extensions and Analysis.- Derivatives of Quantitative Regular Expressions.- Improving the Timed Automata Approach to Biological Pathway Dynamics.- Bicategories of Markov Processes.- Property-Preserving Parallel Decomposition.- A Generic Algorithm for Learning Symbolic Automata from Membership Queries.- Teaching Academic Concurrency to Amazing Students.-... Mehr

Günstigstes Angebot
Weltbild

CHF  59.00

zum Shop
chart preloader
1 Woche 3 Monate 6 Monate 1 Jahr
Gewünschter Preis:
CHF
E-Mail Adresse:
Newsletter abonnieren
Preis-Alarm aktivieren