ISIM'07 Information Systems and Formal Models : 10th International Conference on Information System Implementation and Modeling. 2nd International Workshop on Formal Models WFM'07
Kelemenová Alica (Editor)  Kolář Dušan (Editor) Meduna Alexander (Editor) Zendulka Jaroslav (Editor)
Opava : Slezská universita v Opavě, 2007 . - 248 s
ISBN 978-80-7248-006-7
http://ceur-ws.org/Vol-252/
zborník (príspevkov)
(1) - článok