Author:
Santone Antonella,Vaglini Gigliola
Subject
Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Software
Reference25 articles.
1. The SLAM toolkit;Ball,2001
2. The SLAM Project: Debugging System Software via Static Analysis;Ball,2002
3. Selective mu-calculus and formula-based abstractions of transition systems;Barbuti;Journal of Computer and System Sciences,1999
4. Introduction to ISO specification language LOTOS;Bolognesi;Computer Networks and ISDN Systems,1987
5. Model checking partial state spaces with 3-valued temporal logics;Bruns,1999
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献