%0 Conference Paper %1 conf/forte/PosseD10 %A Posse, Ernesto %A Dingel, Jürgen %B FMOODS/FORTE %D 2010 %E Hatcliff, John %E Zucca, Elena %I Springer %K dblp %P 125-139 %T Theory and Implementation of a Real-Time Extension to the pi-Calculus. %U http://dblp.uni-trier.de/db/conf/forte/forte2010.html#PosseD10 %V 6117 %@ 978-3-642-13463-0

@inproceedings{conf/forte/PosseD10, added-at = {2018-06-26T00:00:00.000+0200}, author = {Posse, Ernesto and Dingel, Jürgen}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2981bdfa453ac32b078b52fa0b5ba1880/dblp}, booktitle = {FMOODS/FORTE}, crossref = {conf/forte/2010}, editor = {Hatcliff, John and Zucca, Elena}, ee = {https://doi.org/10.1007/978-3-642-13464-7_11}, interhash = {2e50da6b8c71b78317abb415e66e1236}, intrahash = {981bdfa453ac32b078b52fa0b5ba1880}, isbn = {978-3-642-13463-0}, keywords = {dblp}, pages = {125-139}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:33:14.000+0200}, title = {Theory and Implementation of a Real-Time Extension to the pi-Calculus.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2010.html#PosseD10}, volume = 6117, year = 2010 }