<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>7176</REFNUM><AUTHORS><AUTHOR>Saffrey,P.</AUTHOR><AUTHOR>Calder,M.</AUTHOR></AUTHORS><YEAR>2004</YEAR><TITLE>Optimising Communications Structure for Model Checking</TITLE><PLACE_PUBLISHED>Proceedings of FASE 2004 (International Conference on Fundamental Approaches to Software Engineering), Barcelona. Lecture Notes in Computer Science, volume 2984.</PLACE_PUBLISHED><PUBLISHER>Springer Verlag</PUBLISHER><PAGES>310-324</PAGES><LABEL>Saffrey:2004:7176</LABEL></RECORD></RECORDS></XML>