default search action
BibTeX record conf/safeprocess/Pencole15
@inproceedings{DBLP:conf/safeprocess/Pencole15, author = {Yannick Pencol{\'{e}}}, editor = {Yannick Pencol{\'{e}} and Louise Trav{\'{e}}{-}Massuy{\`{e}}s and Philippe Dague}, title = {Random Generator of k-Diagnosable Discrete Event Systems}, booktitle = {Proceedings of the 26th International Workshop on Principles of Diagnosis {(DX-2015)} co-located with 9th {IFAC} Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31 - September 3, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1507}, pages = {277--280}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1507/dx15paper36.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:16 +0100}, biburl = {https://dblp.org/rec/conf/safeprocess/Pencole15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.