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

ISSN: 0958-695X,  0948-6968

Ano de publicación: 2004

Volume: 10

Número: 11

Páxinas: 1498-1518

Tipo: Achega congreso