<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>5801</REFNUM><AUTHORS><AUTHOR>Martin,U.</AUTHOR><AUTHOR> Thomas,M.</AUTHOR></AUTHORS><YEAR>1994</YEAR><TITLE>Verification Techniques for LOTOS</TITLE><PLACE_PUBLISHED> Proceedings of Formal Methods Europe '94, Lecture Notes in Computer Science, Volume 873 </PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><LABEL>Martin:1994:5801</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>