@incollection{Valmari-Kemppainen-Clegg-Levanto/93,
AUTHOR = {Valmari, Antti and Kemppainen, Jukka and Clegg, Matthew and Levanto, Mikko},
TITLE = {Putting advanced reachability analysis techniques together: the ``ARA'' tool},
BOOKTITLE = {Proceedings of the 1st International Symposium of Formal Methods Europe (Odense, Denmark, April 1993)},
SERIES = {LNCS},
VOLUME = {670},
PAGES = {597-616},
YEAR = {1993},
EDITOR = {Woodcock, J.C.P. and Larsen, P.G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=670&spage=597},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}