Home | english  | Impressum | Sitemap | KIT

Semi-external LTL model checking

Semi-external LTL model checking
Tagung:

CAV 2008

Seite:530-542
Tagungsort:Princeton Links:PDF
Datum:July 2008
Autoren:

S. Edelkamp, P. Sanders, P. Simecek