dblp.uni-trier.de www.uni-trier.de

3. IWFM 1999: Galway, Ireland

Andrew Butterfield, Klemens Haegele (Eds.): 3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999. Workshops in Computing BCS 1999 BibTeX

Online Edition

Copyright © Sat May 16 23:27:15 2009 by Michael Ley (ley@uni-trier.de)