10. ISIM 2007:
Hradec nad Moravicí,
Czech Republic - Workshop on Formal Models
Alica Kelemenová, Dusan Kolar, Alexander Meduna (Eds.):
Proceedings of the 2nd International Workshop on Formal Models WFM'07, Hradec nad Moravicí, Czech Republic, April 23-25, 2007.
CEUR Workshop Proceedings 255 CEUR-WS.org 2007 BibTeX
Invited Paper
Research Papers
Short Papers
Copyright © Sat May 16 23:25:37 2009
by Michael Ley (ley@uni-trier.de)