6 search results - page 1 / 2 » tacas 1999 |
TACAS
1999
Springer
14 years 3 months ago
1999
Springer
TACAS
1999
Springer
14 years 3 months ago
1999
Springer
TACAS
1999
Springer
14 years 3 months ago
1999
Springer
TACAS
1999
Springer
14 years 3 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...
TACAS
1999
Springer
14 years 3 months ago
1999
Springer
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...