%0 Conference Paper %1 conf/concur/GerthKS92 %A Gerth, Rob %A Kuiper, Ruurd %A Segers, John %B CONCUR %D 1992 %E Cleaveland, Rance %I Springer %K dblp %P 77-93 %T Interface Refinement in Reactive Systems (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/concur/concur1992.html#GerthKS92 %V 630 %@ 3-540-55822-5

@inproceedings{conf/concur/GerthKS92, added-at = {2023-11-21T00:00:00.000+0100}, author = {Gerth, Rob and Kuiper, Ruurd and Segers, John}, biburl = {https://www.bibsonomy.org/bibtex/2edc8ad6c19363e840eb768f78bcca5f5/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/1992}, editor = {Cleaveland, Rance}, ee = {https://doi.org/10.1007/BFb0084784}, interhash = {203dbb01adaa3396c75d0a5b39dc5069}, intrahash = {edc8ad6c19363e840eb768f78bcca5f5}, isbn = {3-540-55822-5}, keywords = {dblp}, pages = {77-93}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:31:41.000+0200}, title = {Interface Refinement in Reactive Systems (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1992.html#GerthKS92}, volume = 630, year = 1992 }