Mach, M. - Plášil, František
Addresing State Explosion in Behavior Protocol Verification.
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. Michigan: ACIS, 2004 - (Hu, G.; Huang, T.; Ni, X.; Zhou, A.), s. 327-333. ISBN 0-9700776-8-8.
[ACIS. International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing /5./. Beijing (CN), 30.06.2004-02.07.2004]
Grant CEP: GA ČR GA102/03/0672
http://hdl.handle.net/11104/0010695