%0 Conference Paper %1 conf/sas/NanzNN08 %A Nanz, Sebastian %A Nielson, Flemming %A Nielson, Hanne Riis %B SAS %D 2008 %E Alpuente, María %E Vidal, Germán %I Springer %K %P 159-173 %T Modal Abstractions of Concurrent Behaviour. %U http://dblp.uni-trier.de/db/conf/sas/sas2008.html#NanzNN08 %V 5079 %@ 978-3-540-69163-1

@inproceedings{conf/sas/NanzNN08, added-at = {2023-12-14T16:09:50.000+0100}, author = {Nanz, Sebastian and Nielson, Flemming and Nielson, Hanne Riis}, biburl = {https://www.bibsonomy.org/bibtex/2c71dc3c1942274788f5c811b966821b4/admin}, booktitle = {SAS}, crossref = {conf/sas/2008}, editor = {Alpuente, María and Vidal, Germán}, ee = {https://doi.org/10.1007/978-3-540-69166-2_11}, interhash = {f451eb3b4841977095c1a1603eac5853}, intrahash = {c71dc3c1942274788f5c811b966821b4}, isbn = {978-3-540-69163-1}, keywords = {}, pages = {159-173}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T16:09:50.000+0100}, title = {Modal Abstractions of Concurrent Behaviour.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2008.html#NanzNN08}, volume = 5079, year = 2008 }