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

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642005954, 9783642005961
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Interrupt Timed Automata

2009 ◽  
pp. 197-211 ◽  
Author(s):  
Beatrice Bérard ◽  
Serge Haddad
Keyword(s):  
Timed Automata

scholarly journals A Description of Iterative Reflections of Monads (Extended Abstract)

2009 ◽  
pp. 152-166 ◽  
Author(s):  
Jiří Adámek ◽  
Stefan Milius ◽  
Jiří Velebil

scholarly journals Synthesis from Component Libraries

2009 ◽  
pp. 395-409 ◽  
Author(s):  
Yoad Lustig ◽  
Moshe Y. Vardi

scholarly journals Coalgebraic Hybrid Logic

2009 ◽  
pp. 137-151 ◽  
Author(s):  
Rob Myers ◽  
Dirk Pattinson ◽  
Lutz Schröder
Keyword(s):  
Hybrid Logic

scholarly journals The Calculus of Handshake Configurations

2009 ◽  
pp. 227-241 ◽  
Author(s):  
Luca Fossati ◽  
Daniele Varacca

scholarly journals Delayed Nondeterminism in Continuous-Time Markov Decision Processes

2009 ◽  
pp. 364-379 ◽  
Author(s):  
Martin R. Neuhäußer ◽  
Mariëlle Stoelinga ◽  
Joost-Pieter Katoen
Keyword(s):  
Markov Decision Processes ◽  
Continuous Time ◽  
Decision Processes ◽  
Markov Decision
Load More ...
Sign in / Sign up

Export Citation Format

Share Document