%0 Conference Paper %1 conf/async/Khomenko08 %A Khomenko, Victor %B ASYNC %D 2008 %I IEEE Computer Society %K dblp %P 141-150 %T Derivation of Monotonic Covers for Standard-C Implementation Using STG Unfoldings. %U http://dblp.uni-trier.de/db/conf/async/async2008.html#Khomenko08 %@ 978-0-7695-3107-6

@inproceedings{conf/async/Khomenko08, added-at = {2014-10-16T00:00:00.000+0200}, author = {Khomenko, Victor}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25d5825b1eacf56d357c6b6f889825876/dblp}, booktitle = {ASYNC}, crossref = {conf/async/2008}, ee = {http://doi.ieeecomputersociety.org/10.1109/ASYNC.2008.12}, interhash = {f70b1bfa13cb9f7110671e62d4398b40}, intrahash = {5d5825b1eacf56d357c6b6f889825876}, isbn = {978-0-7695-3107-6}, keywords = {dblp}, pages = {141-150}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T14:54:29.000+0100}, title = {Derivation of Monotonic Covers for Standard-C Implementation Using STG Unfoldings.}, url = {http://dblp.uni-trier.de/db/conf/async/async2008.html#Khomenko08}, year = 2008 }