Modal Logic - a Tool for Design Process Formalisation

Jelínek, I.

JELÍNEK, I. Modal Logic - a Tool for Design Process Formalisation. In: NOVOSAD, J., ed. AED 2003. AED 2003, Praha, 2003-06-01/2003-06-04. Praha: Procesní inženýrství Ing. J. Novosad, 2003. pp. 268-278. ISBN 80-86059-35-9.