scholarly journals IF: A Validation Environment for Timed Asynchronous Systems

Author(s):  
Marius Bozga ◽  
Jean-Claude Fernandez ◽  
Lucian Ghirvu ◽  
Susanne Graf ◽  
Jean-Pierre Krimm ◽  
...  
Keyword(s):  
2007 ◽  
Vol 205 (12) ◽  
pp. 1685-1720 ◽  
Author(s):  
Michael Backes ◽  
Birgit Pfitzmann ◽  
Michael Waidner

Sign in / Sign up

Export Citation Format

Share Document