%0 Conference Paper %1 conf/acsw/ScheweFTWA17 %A Schewe, Klaus-Dieter %A Ferrarotti, Flavio %A Tec, Loredana %A Wang, Qing %A An, Wenya %B ACSW %D 2017 %I ACM %K dblp %P 77:1-77:10 %T Evolving concurrent systems: behavioural theory and logic. %U http://dblp.uni-trier.de/db/conf/acsw/acsw2017.html#ScheweFTWA17 %@ 978-1-4503-4768-6

@inproceedings{conf/acsw/ScheweFTWA17, added-at = {2022-10-02T00:00:00.000+0200}, author = {Schewe, Klaus-Dieter and Ferrarotti, Flavio and Tec, Loredana and Wang, Qing and An, Wenya}, biburl = {https://www.bibsonomy.org/bibtex/2c4d74d9f098b762ae926321c0fb999b2/dblp}, booktitle = {ACSW}, crossref = {conf/acsw/2017}, ee = {https://doi.org/10.1145/3014812.3017446}, interhash = {36c828f1bcb363a2f93c689854b79074}, intrahash = {c4d74d9f098b762ae926321c0fb999b2}, isbn = {978-1-4503-4768-6}, keywords = {dblp}, pages = {77:1-77:10}, publisher = {ACM}, timestamp = {2024-04-10T07:51:23.000+0200}, title = {Evolving concurrent systems: behavioural theory and logic.}, url = {http://dblp.uni-trier.de/db/conf/acsw/acsw2017.html#ScheweFTWA17}, year = 2017 }