%0 Conference Paper %1 conf/indin/LindgrenLLPP15 %A Lindgren, Per %A Lindner, Marcus %A Lindner, Andreas %A Pereira, David %A Pinho, Luís Miguel %B INDIN %D 2015 %I IEEE %K dblp %P 1438-1445 %T Well-formed control flow for critical sections in RTFM-core. %U http://dblp.uni-trier.de/db/conf/indin/indin2015.html#LindgrenLLPP15 %@ 978-1-4799-6649-3

@inproceedings{conf/indin/LindgrenLLPP15, added-at = {2015-10-12T00:00:00.000+0200}, author = {Lindgren, Per and Lindner, Marcus and Lindner, Andreas and Pereira, David and Pinho, Luís Miguel}, biburl = {https://www.bibsonomy.org/bibtex/2dc52ee6f16545c9539782893430d1c7e/dblp}, booktitle = {INDIN}, crossref = {conf/indin/2015}, ee = {http://dx.doi.org/10.1109/INDIN.2015.7281944}, interhash = {b5d1e1a6266e2c486251208e287f9f06}, intrahash = {dc52ee6f16545c9539782893430d1c7e}, isbn = {978-1-4799-6649-3}, keywords = {dblp}, pages = {1438-1445}, publisher = {IEEE}, timestamp = {2015-10-13T11:34:00.000+0200}, title = {Well-formed control flow for critical sections in RTFM-core.}, url = {http://dblp.uni-trier.de/db/conf/indin/indin2015.html#LindgrenLLPP15}, year = 2015 }