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

ISSN: 0958-695X,  0948-6968

Year of publication: 2004

Volume: 10

Issue: 11

Pages: 1498-1518

Type: Conference paper