Formal Methods and Hybrid Real-Time Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540752202
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Automating Verification of Cooperation, Control, and Design in Traffic Applications

2007 ◽  
pp. 115-169 ◽  
Author(s):  
Werner Damm ◽  
Alfred Mikschl ◽  
Jens Oehlerking ◽  
Ernst-Rüdiger Olderog ◽  
Jun Pang ◽  
...  

Services as a Paradigm of Computation

2007 ◽  
pp. 521-538 ◽  
Author(s):  
Wolfgang Reisig ◽  
Jan Bretschneider ◽  
Dirk Fahland ◽  
Niels Lohmann ◽  
Peter Massuthe ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document