%0 Conference Paper %1 conf/sigsoft/ShiWZ14 %A Shi, Yufeng %A Wei, Ou %A Zhou, Yu %B InnoSWDev@SIGSOFT FSE %D 2014 %E Leung, Hareton Kam Nang %I ACM %K dblp %P 21-29 %T Model checking partial software product line designs. %U http://dblp.uni-trier.de/db/conf/sigsoft/innoswdev2014.html#ShiWZ14 %@ 978-1-4503-3226-2

@inproceedings{conf/sigsoft/ShiWZ14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Shi, Yufeng and Wei, Ou and Zhou, Yu}, biburl = {https://www.bibsonomy.org/bibtex/21849fce9e4f39e4f81b7cedb21379c87/dblp}, booktitle = {InnoSWDev@SIGSOFT FSE}, crossref = {conf/sigsoft/2014innoswdev}, editor = {Leung, Hareton Kam Nang}, ee = {https://doi.org/10.1145/2666581.2666589}, interhash = {78a253a950581973733b191be6370e03}, intrahash = {1849fce9e4f39e4f81b7cedb21379c87}, isbn = {978-1-4503-3226-2}, keywords = {dblp}, pages = {21-29}, publisher = {ACM}, timestamp = {2018-11-07T14:04:06.000+0100}, title = {Model checking partial software product line designs.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/innoswdev2014.html#ShiWZ14}, year = 2014 }