%0 Conference Paper %1 conf/icfem/WenWQ04 %A Wen, Yanjun %A Wang, Ji %A Qi, Zhi-Chang %B ICFEM %D 2004 %E Davies, Jim %E Schulte, Wolfram %E Barnett, Michael %I Springer %K dblp %P 259-273 %T Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2004.html#WenWQ04 %V 3308 %@ 3-540-23841-7

@inproceedings{conf/icfem/WenWQ04, added-at = {2019-05-28T00:00:00.000+0200}, author = {Wen, Yanjun and Wang, Ji and Qi, Zhi-Chang}, biburl = {https://www.bibsonomy.org/bibtex/25ea5cec78d91f73f6d70b63e98d0ca0f/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2004}, editor = {Davies, Jim and Schulte, Wolfram and Barnett, Michael}, ee = {https://doi.org/10.1007/978-3-540-30482-1_25}, interhash = {bf30a10b69543f2f389c50c3ebe95657}, intrahash = {5ea5cec78d91f73f6d70b63e98d0ca0f}, isbn = {3-540-23841-7}, keywords = {dblp}, pages = {259-273}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-29T12:14:43.000+0200}, title = {Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2004.html#WenWQ04}, volume = 3308, year = 2004 }