%0 Conference Paper %1 journals/corr/abs-1301-0042 %A Park, Mingyu %A Byun, Taejoon %A Choi, Yunja %B FTSCS %D 2012 %E Ölveczky, Peter Csaba %E Artho, Cyrille %K dblp %P 69-84 %T Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems %U http://dblp.uni-trier.de/db/series/eptcs/eptcs105.html#abs-1301-0042 %V 105

@inproceedings{journals/corr/abs-1301-0042, added-at = {2018-09-12T00:00:00.000+0200}, author = {Park, Mingyu and Byun, Taejoon and Choi, Yunja}, biburl = {https://www.bibsonomy.org/bibtex/2c89225ec4e180e4b648db6958c65b0ec/dblp}, booktitle = {FTSCS}, crossref = {journals/corr/abs-1212-6574}, editor = {Ölveczky, Peter Csaba and Artho, Cyrille}, ee = {http://arxiv.org/abs/1301.0042}, interhash = {72f1ea6845e1a591a7c04e8525348770}, intrahash = {c89225ec4e180e4b648db6958c65b0ec}, keywords = {dblp}, pages = {69-84}, series = {EPTCS}, timestamp = {2018-09-13T11:41:16.000+0200}, title = {Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs105.html#abs-1301-0042}, volume = 105, year = 2012 }