%0 Conference Paper %1 conf/fsttcs/MohalikR97 %A Mohalik, Swarup %A Ramanujam, Ramaswamy %B FSTTCS %D 1997 %E Ramesh, S. %E Sivakumar, G. %I Springer %K dblp %P 153-168 %T Assumption-Commitment in Automata. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs97.html#MohalikR97 %V 1346 %@ 3-540-63876-8

@inproceedings{conf/fsttcs/MohalikR97, added-at = {2017-05-23T00:00:00.000+0200}, author = {Mohalik, Swarup and Ramanujam, Ramaswamy}, biburl = {https://www.bibsonomy.org/bibtex/260be842326c359a23310a0a0ed232918/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/1997}, editor = {Ramesh, S. and Sivakumar, G.}, ee = {https://doi.org/10.1007/BFb0058029}, interhash = {8e0e18cc10a33ec789085ca6b0c0b830}, intrahash = {60be842326c359a23310a0a0ed232918}, isbn = {3-540-63876-8}, keywords = {dblp}, pages = {153-168}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:09:41.000+0200}, title = {Assumption-Commitment in Automata.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs97.html#MohalikR97}, volume = 1346, year = 1997 }