Modal Logic - a Tool for Design Process Formalisation

Jelínek, I.

JELÍNEK, I. Modal Logic - a Tool for Design Process Formalisation. Acta Polytechnica. 2003, 43(5), 3-7. ISSN 1210-2709.