FBT: A tool for applying interval logic specifications to on-the-fly model checking

ISSN: 0958-695X,  0948-6968

Datum der Publikation: 2004

Ausgabe: 10

Nummer: 11

Seiten: 1498-1518

Art: Konferenz-Beitrag