<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5605</REFNUM><AUTHORS><AUTHOR>Thomas,M.</AUTHOR><AUTHOR>Shankland,C.</AUTHOR></AUTHORS><YEAR>1997</YEAR><TITLE>Symbolic Bisimulations for Full LOTOS</TITLE><PLACE_PUBLISHED>Proceedings of AMAST 97, Melbourne, Australia, (M. Johnson ed.), Lecture Notes in Computer Science, vol. 1349 </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><PAGES>479-493</PAGES><LABEL>Thomas:1997:5605</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>