%0 Conference Paper %1 conf/models/LeildeRD16 %A Leilde, Vincent %A Ribaud, Vincent %A Dhaussy, Philippe %B PAME/VOLT@MoDELS %D 2016 %E Ergin, Hüseyin %E Paige, Richard F. %E Syriani, Eugene %E Zschaler, Steffen %E Amrani, Moussa %I CEUR-WS.org %K dblp %P 7-12 %T Model-based diagnosis patterns for model checking. %U http://dblp.uni-trier.de/db/conf/models/pame-volt2016.html#LeildeRD16 %V 1693

@inproceedings{conf/models/LeildeRD16, added-at = {2023-03-10T00:00:00.000+0100}, author = {Leilde, Vincent and Ribaud, Vincent and Dhaussy, Philippe}, biburl = {https://www.bibsonomy.org/bibtex/2b62e33319f74812a0e8010722d308cf4/dblp}, booktitle = {PAME/VOLT@MoDELS}, crossref = {conf/models/2016pame-volt}, editor = {Ergin, Hüseyin and Paige, Richard F. and Syriani, Eugene and Zschaler, Steffen and Amrani, Moussa}, ee = {https://ceur-ws.org/Vol-1693/PamePaper2.pdf}, interhash = {6c576fbf4561fcacd56240e1ea12899b}, intrahash = {b62e33319f74812a0e8010722d308cf4}, keywords = {dblp}, pages = {7-12}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T21:57:56.000+0200}, title = {Model-based diagnosis patterns for model checking.}, url = {http://dblp.uni-trier.de/db/conf/models/pame-volt2016.html#LeildeRD16}, volume = 1693, year = 2016 }