%0 Conference Paper %1 conf/forte/HwangLCV09 %A Hwang, Iksoon %A Lallali, Mounir %A Cavalli, Ana R. %A Verchère, Dominique %B FMOODS/FORTE %D 2009 %E Lee, David %E Lopes, Antónia %E Poetzsch-Heffter, Arnd %I Springer %K dblp %P 122-136 %T Modeling, Validation, and Verification of PCEP Using the IF Language. %U http://dblp.uni-trier.de/db/conf/forte/forte2009.html#HwangLCV09 %V 5522 %@ 978-3-642-02137-4

@inproceedings{conf/forte/HwangLCV09, added-at = {2018-06-26T00:00:00.000+0200}, author = {Hwang, Iksoon and Lallali, Mounir and Cavalli, Ana R. and Verchère, Dominique}, biburl = {https://www.bibsonomy.org/bibtex/2300d4ea6673833778d0268edaf8124d3/dblp}, booktitle = {FMOODS/FORTE}, crossref = {conf/forte/2009}, editor = {Lee, David and Lopes, Antónia and Poetzsch-Heffter, Arnd}, ee = {https://doi.org/10.1007/978-3-642-02138-1_8}, interhash = {4eca5b9f427d981d584be29298ef7d72}, intrahash = {300d4ea6673833778d0268edaf8124d3}, isbn = {978-3-642-02137-4}, keywords = {dblp}, pages = {122-136}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-07-16T11:38:54.000+0200}, title = {Modeling, Validation, and Verification of PCEP Using the IF Language.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2009.html#HwangLCV09}, volume = 5522, year = 2009 }