@书籍{zbMATH02025865，编辑={Pandya，Paritosh K.和Radhakrishnan，Jaikumar}，Title={{FST}{TCS}2003:{软件技术和理论计算机科学基础}。第23届会议，印度孟买，2003年12月15日至17日。｛诉讼程序｝｝，F系列={计算机科学课堂讲稿}，系列={Lect.Notes Compute.Sci.}，ISSN={0302-9743}，体积={2914}，国际标准图书编号={3-540-20680-9}，年份={2003}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/b94618}，关键词={00B25,68-06,68N30}，URL={link.springer.de/link/service/series/0558/tocs/t2914.htm}，zbMATH={2025865}，Zbl={1029.00064}}