%0 Conference Paper %1 journals/corr/WagnerN14 %A Wagner, Christoph %A Nestmann, Uwe %B EXPRESS/SOS %D 2014 %E Borgström, Johannes %E Crafa, Silvia %K dblp %P 48-62 %T States in Process Calculi. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs160.html#WagnerN14 %V 160

@inproceedings{journals/corr/WagnerN14, added-at = {2018-09-12T00:00:00.000+0200}, author = {Wagner, Christoph and Nestmann, Uwe}, biburl = {https://www.bibsonomy.org/bibtex/2670d61fc34b2af1ca30ee5231f9897ea/dblp}, booktitle = {EXPRESS/SOS}, crossref = {journals/corr/BorgstromC14}, editor = {Borgström, Johannes and Crafa, Silvia}, ee = {http://arxiv.org/abs/1408.1456}, interhash = {e47fbadf67c6da539ca99b6c86bb5053}, intrahash = {670d61fc34b2af1ca30ee5231f9897ea}, keywords = {dblp}, pages = {48-62}, series = {EPTCS}, timestamp = {2019-10-10T11:39:05.000+0200}, title = {States in Process Calculi.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs160.html#WagnerN14}, volume = 160, year = 2014 }