%0 Conference Paper %1 conf/wdag/DerrickDDSW21 %A Derrick, John %A Doherty, Simon %A Dongol, Brijesh %A Schellhorn, Gerhard %A Wehrheim, Heike %B DISC %D 2021 %E Gilbert, Seth %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 55:1-55:4 %T Brief Announcement: On Strong Observational Refinement and Forward Simulation. %U http://dblp.uni-trier.de/db/conf/wdag/disc2021.html#DerrickDDSW21 %V 209 %@ 978-3-95977-210-5

@inproceedings{conf/wdag/DerrickDDSW21, added-at = {2021-11-03T00:00:00.000+0100}, author = {Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, biburl = {https://www.bibsonomy.org/bibtex/2a69dcd7ef7a3c1b2e9116a0714d432d2/dblp}, booktitle = {DISC}, crossref = {conf/wdag/2021}, editor = {Gilbert, Seth}, ee = {https://doi.org/10.4230/LIPIcs.DISC.2021.55}, interhash = {9231797616e4877cff40a370dd723100}, intrahash = {a69dcd7ef7a3c1b2e9116a0714d432d2}, isbn = {978-3-95977-210-5}, keywords = {dblp}, pages = {55:1-55:4}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T17:02:17.000+0200}, title = {Brief Announcement: On Strong Observational Refinement and Forward Simulation.}, url = {http://dblp.uni-trier.de/db/conf/wdag/disc2021.html#DerrickDDSW21}, volume = 209, year = 2021 }