Bibliografie
Conference Paper (international conference)
The Cat-and-Mouse Problem as a System of Boolean Equations
: Joint Workshop on Discrete Event Systems. WODES '92, p. 137-140
: ÚTIA ČSAV, (Prague 1992)
: WODES '92, (Praha, CS, 26.08.1992-28.08.1992)