%0 Conference Paper %1 conf/amcc/0001Z006 %A Kumar, Ratnesh %A Zhou, Changyan %A Basu, Samik %B ACC %D 2006 %I IEEE %K dblp %P 1-6 %T Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables. %U http://dblp.uni-trier.de/db/conf/amcc/acc2006.html#0001Z006 %@ 1-4244-0210-7

@inproceedings{conf/amcc/0001Z006, added-at = {2022-09-27T00:00:00.000+0200}, author = {Kumar, Ratnesh and Zhou, Changyan and Basu, Samik}, biburl = {https://www.bibsonomy.org/bibtex/2ec53810dd396ea71bb7d415af23d9ba6/dblp}, booktitle = {ACC}, crossref = {conf/amcc/2006}, ee = {https://doi.org/10.1109/ACC.2006.1657692}, interhash = {4e581d13ff80b7f43b78baed4a536a5f}, intrahash = {ec53810dd396ea71bb7d415af23d9ba6}, isbn = {1-4244-0210-7}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2024-04-09T13:53:50.000+0200}, title = {Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables.}, url = {http://dblp.uni-trier.de/db/conf/amcc/acc2006.html#0001Z006}, year = 2006 }