Alica Kelemenová, Dusan Kolar, Alexander Meduna, editors, Proceedings of the 2nd International Workshop on Formal Models WFM 07, Hradec nad Moravicí, Czech Republic, April 23-25, 2007. Volume 255 of CEUR Workshop Proceedings, CEUR-WS.org, 2007.
Conference: isim2007
Abstract is missing.