%0 Conference Paper %1 conf/forte/AmanCK12 %A Aman, Bogdan %A Ciobanu, Gabriel %A Koutny, Maciej %B FMOODS/FORTE %D 2012 %E Giese, Holger %E Rosu, Grigore %I Springer %K dblp %P 52-66 %T Behavioural Equivalences over Migrating Processes with Timers. %U http://dblp.uni-trier.de/db/conf/forte/forte2012.html#AmanCK12 %V 7273 %@ 978-3-642-30792-8

@inproceedings{conf/forte/AmanCK12, added-at = {2019-09-25T00:00:00.000+0200}, author = {Aman, Bogdan and Ciobanu, Gabriel and Koutny, Maciej}, biburl = {https://www.bibsonomy.org/bibtex/2660358c3784fe07a5a6ec9a5bd099acd/dblp}, booktitle = {FMOODS/FORTE}, crossref = {conf/forte/2012}, editor = {Giese, Holger and Rosu, Grigore}, ee = {https://doi.org/10.1007/978-3-642-30793-5_4}, interhash = {850aa56cfc33cde9e82bb35ea40f8b4a}, intrahash = {660358c3784fe07a5a6ec9a5bd099acd}, isbn = {978-3-642-30792-8}, keywords = {dblp}, pages = {52-66}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:14:32.000+0200}, title = {Behavioural Equivalences over Migrating Processes with Timers.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2012.html#AmanCK12}, volume = 7273, year = 2012 }