Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

41
(FIVE YEARS 0)

H-INDEX

18
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540418658, 9783540453192
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Efficient Guiding Towards Cost-Optimality in UPPAAL

2001 ◽  
pp. 174-188 ◽  
Author(s):  
Gerd Behrmann ◽  
Ansgar Fehnker ◽  
Thomas Hune ◽  
Kim Larsen ◽  
Paul Pettersson ◽  
...  
Keyword(s):  
Cost Optimality

scholarly journals A Technique for Invariant Generation

2001 ◽  
pp. 113-127 ◽  
Author(s):  
A. Tiwari ◽  
H. Rueß ◽  
H. Saïdi ◽  
N. Shankar
Keyword(s):  
Invariant Generation

scholarly journals The Erlang Verification Tool

2001 ◽  
pp. 582-585 ◽  
Author(s):  
Thomas Noll ◽  
Lars-åke Fredlund ◽  
Dilian Gurov
Keyword(s):  
Verification Tool
Load More ...
Sign in / Sign up

Export Citation Format

Share Document