<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5290</REFNUM><AUTHORS><AUTHOR>Dennis,L.A.</AUTHOR><AUTHOR>Collins,G.</AUTHOR><AUTHOR>Norrish,M.</AUTHOR><AUTHOR>Boulton,R.</AUTHOR><AUTHOR>Slind,K.</AUTHOR><AUTHOR>Robinson,G.</AUTHOR><AUTHOR>Gordon,M.</AUTHOR><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>2000</YEAR><TITLE>The PROSPER Toolkit</TITLE><PLACE_PUBLISHED>Proceedings, Tools and Algorithms for the Construction and Analysis of Systems: 6th Intl. Conference, TACAS 2000, Berlin. (Graf, S. and Schwartzback, M. Eds.). Lecture Notes in Computer Science, Volume No 1785 </PLACE_PUBLISHED><PUBLISHER>Springer Verlag</PUBLISHER><PAGES>78-92</PAGES><ISBN>0302-9743</ISBN><LABEL>Dennis:2000:5290</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>