%0 Conference Paper %1 conf/fossacs/RangelKE08 %A Rangel, Guilherme %A König, Barbara %A Ehrig, Hartmut %B FoSSaCS %D 2008 %E Amadio, Roberto M. %I Springer %K %P 413-427 %T Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2008.html#RangelKE08 %V 4962 %@ 978-3-540-78497-5

@inproceedings{conf/fossacs/RangelKE08, added-at = {2023-12-14T16:36:50.000+0100}, author = {Rangel, Guilherme and König, Barbara and Ehrig, Hartmut}, biburl = {https://www.bibsonomy.org/bibtex/2df06cd1408ce7ef2854001db477401b6/admin}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2008}, editor = {Amadio, Roberto M.}, ee = {https://doi.org/10.1007/978-3-540-78499-9_29}, interhash = {fa924448fa92c3fca93e40e954a34d58}, intrahash = {df06cd1408ce7ef2854001db477401b6}, isbn = {978-3-540-78497-5}, keywords = {}, pages = {413-427}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T16:36:50.000+0100}, title = {Deriving Bisimulation Congruences in the Presence of Negative Application Conditions.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2008.html#RangelKE08}, volume = 4962, year = 2008 }