The SLAM Toolkit
- 4 July 2001
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 260-264
- https://doi.org/10.1007/3-540-44585-4_25
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Virtual Storytelling Using Virtual Reality Technologies for StorytellingPublished by Springer Science and Business Media LLC ,2001
- Automatic predicate abstraction of C programsPublished by Association for Computing Machinery (ACM) ,2001
- Bebop: A Symbolic Model Checker for Boolean ProgramsLecture Notes in Computer Science, 2000