%0 Journal Article %1 journals/stvr/HwangCLV12 %A Hwang, Iksoon %A Cavalli, Ana R. %A Lallali, Mounir %A Verchère, Dominique %D 2012 %J Softw. Test. Verification Reliab. %K dblp %N 5 %P 343-361 %T Applying formal methods to PCEP: an industrial case study from modeling to test generation. %U http://dblp.uni-trier.de/db/journals/stvr/stvr22.html#HwangCLV12 %V 22

@article{journals/stvr/HwangCLV12, added-at = {2020-04-01T00:00:00.000+0200}, author = {Hwang, Iksoon and Cavalli, Ana R. and Lallali, Mounir and Verchère, Dominique}, biburl = {https://www.bibsonomy.org/bibtex/29019a9f1ce9ac859ed56a82ab9d49fe5/dblp}, ee = {https://doi.org/10.1002/stvr.445}, interhash = {26f2445fff8cca2b530a58a02ae06a63}, intrahash = {9019a9f1ce9ac859ed56a82ab9d49fe5}, journal = {Softw. Test. Verification Reliab.}, keywords = {dblp}, number = 5, pages = {343-361}, timestamp = {2020-04-02T12:07:31.000+0200}, title = {Applying formal methods to PCEP: an industrial case study from modeling to test generation.}, url = {http://dblp.uni-trier.de/db/journals/stvr/stvr22.html#HwangCLV12}, volume = 22, year = 2012 }