bibtype C - Conference Paper (international conference)
ARLID 0408411
utime 20240103182005.5
mtime 20060210235959.9
title (primary) (eng) The Cat-and-Mouse Problem as a System of Boolean Equations
publisher
place Prague
name ÚTIA ČSAV
pub_time 1992
serial
title Joint Workshop on Discrete Event Systems. WODES '92
page_num 137-140
author (primary)
ARLID cav_un_auth*0101143
name1 Kříž
name2 Otakar
institution UTIA-B
fullinstit Ústav teorie informace a automatizace AV ČR, v. v. i.
cas_special
action
ARLID cav_un_auth*0211813
name WODES '92
place Praha
dates 26.08.1992-28.08.1992
country CS
department MTR
permalink http://hdl.handle.net/11104/0128515
ID_orig UTIA-B 920140
arlyear 1992
mrcbU10 1992
mrcbU10 Prague ÚTIA ČSAV
mrcbU63 Joint Workshop on Discrete Event Systems. WODES '92 137 140