%0 Conference Paper %1 conf/stacs/HenzingerM00 %A Henzinger, Thomas A. %A Majumdar, Rupak %B STACS %D 2000 %E Reichel, Horst %E Tison, Sophie %I Springer %K dblp %P 13-34 %T A Classification of Symbolic Transition Systems. %U http://dblp.uni-trier.de/db/conf/stacs/stacs2000.html#HenzingerM00 %V 1770 %@ 3-540-67141-2

@inproceedings{conf/stacs/HenzingerM00, added-at = {2017-05-24T00:00:00.000+0200}, author = {Henzinger, Thomas A. and Majumdar, Rupak}, biburl = {https://www.bibsonomy.org/bibtex/24f5d54370a28531e1f99eca8778adaa2/dblp}, booktitle = {STACS}, crossref = {conf/stacs/2000}, editor = {Reichel, Horst and Tison, Sophie}, ee = {https://doi.org/10.1007/3-540-46541-3_2}, interhash = {096d24a4f88fdfef6195ca2f4e3fb520}, intrahash = {4f5d54370a28531e1f99eca8778adaa2}, isbn = {3-540-67141-2}, keywords = {dblp}, pages = {13-34}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:25:49.000+0200}, title = {A Classification of Symbolic Transition Systems.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs2000.html#HenzingerM00}, volume = 1770, year = 2000 }