Conference Paper (international conference)

The Cat-and-Mouse Problem as a System of Boolean Equations

Kříž Otakar

: 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)