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

ISSN: 0958-695X,  0948-6968

Año de publicación: 2004

Volumen: 10

Número: 11

Páginas: 1498-1518

Tipo: Aportación congreso