Author

Profile picture
Miguel Hornos
Dpto. de Lenguajes y Sistemas Informáticos, University of Granada
Spain
1 article by this author
Sort by:
Research Article
FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking
Miguel Hornos
10.3217/jucs-010-11-1498
 28-11-2004
 Unique: 359 | Total: 409  | Access Period:
 1498-1518
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK