The PROSPER Toolkit
Louise A. Dennis‚ Graham Collins‚ Michael Norrish‚ Richard Boulton‚ Konrad Slind‚ Graham Robinson‚ Mike Gordon and Tom Melham
Book Title
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference‚ TACAS 2000: Held as Part of the Joint European Conferences on Theory and Practice of Software‚ ETAPS 2000: Berlin‚ Germany‚ March 25 – April 2‚ 2000: Proceedings
Editor
Susanne Graf and Michael Schwartzbach
ISBN
3−540−67282−6
ISSN
0302−9743
Pages
78–92
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
1785
Year
2000