Bibliografie

Conference Paper (international conference)

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

Kříž Otakar

: Discrete Event Systems: Modeling and Control, p. 181-187 , Eds: Balemi S., Kozák P., Smedinga R.

: Birkhäuser, (Basel 1993)

:

: WODES '92, (Prague, CZ, 26.08.1992-28.08.1992)

: 27510, GA AV