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

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642156427, 9783642156434
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals On Scenario Synchronization

2010 ◽  
pp. 97-111
Author(s):  
Duc-Hanh Dang ◽  
Anh-Hoang Truong ◽  
Martin Gogolla

scholarly journals Symbolic Unfolding of Parametric Stopwatch Petri Nets

2010 ◽  
pp. 291-305 ◽  
Author(s):  
Louis-Marie Traonouez ◽  
Bartosz Grabiec ◽  
Claude Jard ◽  
Didier Lime ◽  
Olivier H. Roux
Keyword(s):  
Petri Nets

Model-Checking Web Applications with Web-TLR

2010 ◽  
pp. 341-346 ◽  
Author(s):  
María Alpuente ◽  
Demis Ballis ◽  
Javier Espert ◽  
Daniel Romero
Keyword(s):  
Model Checking ◽  
Web Applications
Load More ...
Sign in / Sign up

Export Citation Format

Share Document