%0 Conference Paper %1 conf/fmics/StappersRW11 %A Stappers, Frank P. M. %A Reniers, Michel A. %A Weber, Sven %B FMICS %D 2011 %E Salaün, Gwen %E Schätz, Bernhard %I Springer %K dblp %P 196-211 %T Transforming SOS Specifications to Linear Processes. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2011.html#StappersRW11 %V 6959 %@ 978-3-642-24430-8

@inproceedings{conf/fmics/StappersRW11, added-at = {2019-09-25T00:00:00.000+0200}, author = {Stappers, Frank P. M. and Reniers, Michel A. and Weber, Sven}, biburl = {https://www.bibsonomy.org/bibtex/2a2af96f8e9549e0d1b4cf6988d3a4ed9/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2011}, editor = {Salaün, Gwen and Schätz, Bernhard}, ee = {https://doi.org/10.1007/978-3-642-24431-5_15}, interhash = {326eaafa4e986916dfd502054b51edaf}, intrahash = {a2af96f8e9549e0d1b4cf6988d3a4ed9}, isbn = {978-3-642-24430-8}, keywords = {dblp}, pages = {196-211}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:57:14.000+0200}, title = {Transforming SOS Specifications to Linear Processes.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2011.html#StappersRW11}, volume = 6959, year = 2011 }