%0 Conference Paper %1 conf/memocode/GesellS13 %A Gesell, Manuel %A Schneider, Klaus %B MEMOCODE %D 2013 %I IEEE %K dblp %P 167-176 %T Translating synchronous guarded actions to interleaved guarded actions. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2013.html#GesellS13 %@ 978-1-4799-0903-2

@inproceedings{conf/memocode/GesellS13, added-at = {2014-12-22T00:00:00.000+0100}, author = {Gesell, Manuel and Schneider, Klaus}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20c45a0ea1f04e1ddb4ec6ae7b7034d02/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2013}, ee = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6670956}, interhash = {780709aa45276cd31d74ca536c948cd3}, intrahash = {0c45a0ea1f04e1ddb4ec6ae7b7034d02}, isbn = {978-1-4799-0903-2}, keywords = {dblp}, pages = {167-176}, publisher = {IEEE}, timestamp = {2016-02-02T14:11:02.000+0100}, title = {Translating synchronous guarded actions to interleaved guarded actions.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2013.html#GesellS13}, year = 2013 }