%0 Conference Paper %1 conf/fsen/ReniersW07 %A Reniers, Michel A. %A van Weerdenburg, Muck %B FSEN %D 2007 %E Arbab, Farhad %E Sirjani, Marjan %I Springer %K dblp %P 287-301 %T Action Abstraction in Timed Process Algebra. %U http://dblp.uni-trier.de/db/conf/fsen/fsen2007.html#ReniersW07 %V 4767 %@ 978-3-540-75697-2

@inproceedings{conf/fsen/ReniersW07, added-at = {2017-05-21T00:00:00.000+0200}, author = {Reniers, Michel A. and van Weerdenburg, Muck}, biburl = {https://www.bibsonomy.org/bibtex/24f840642fb0046d352966be198497d0c/dblp}, booktitle = {FSEN}, crossref = {conf/fsen/2007}, editor = {Arbab, Farhad and Sirjani, Marjan}, ee = {https://doi.org/10.1007/978-3-540-75698-9_19}, interhash = {33e58bc322b8aa9c6983b8ecf8bb8602}, intrahash = {4f840642fb0046d352966be198497d0c}, isbn = {978-3-540-75697-2}, keywords = {dblp}, pages = {287-301}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:16:40.000+0200}, title = {Action Abstraction in Timed Process Algebra.}, url = {http://dblp.uni-trier.de/db/conf/fsen/fsen2007.html#ReniersW07}, volume = 4767, year = 2007 }