Sciweavers

TACAS
2007
Springer

Improved Algorithms for the Automata-Based Approach to Model-Checking

13 years 10 months ago
Improved Algorithms for the Automata-Based Approach to Model-Checking
Laurent Doyen, Jean-François Raskin
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where TACAS
Authors Laurent Doyen, Jean-François Raskin
Comments (0)