Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540292098, 9783540319696
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A New Reachability Algorithm for Symmetric Multi-processor Architecture

2005 ◽  
pp. 26-38 ◽  
Author(s):  
Debashis Sahoo ◽  
Jawahar Jain ◽  
Subramanian Iyer ◽  
David Dill
Keyword(s):  
Processor Architecture

Verifying Very Large Industrial Circuits Using 100 Processes and Beyond

2005 ◽  
pp. 11-25 ◽  
Author(s):  
Limor Fix ◽  
Orna Grumberg ◽  
Amnon Heyman ◽  
Tamir Heyman ◽  
Assaf Schuster
Keyword(s):  
Industrial Circuits

scholarly journals Comparison of Different Semantics for Time Petri Nets

2005 ◽  
pp. 293-307 ◽  
Author(s):  
B. Bérard ◽  
F. Cassez ◽  
S. Haddad ◽  
Didier Lime ◽  
O. H. Roux
Keyword(s):  
Petri Nets ◽  
Time Petri Nets
Load More ...
Sign in / Sign up

Export Citation Format

Share Document