%0 Conference Paper %1 conf/cdmake/BertoglioLZ19 %A Bertoglio, Nicola %A Lamperti, Gianfranco %A Zanella, Marina %B CD-MAKE %D 2019 %E Holzinger, Andreas %E Kieseberg, Peter %E Tjoa, A Min %E Weippl, Edgar R. %I Springer %K dblp %P 333-352 %T Temporal Diagnosis of Discrete-Event Systems with Dual Knowledge Compilation. %U http://dblp.uni-trier.de/db/conf/cdmake/cdmake2019.html#BertoglioLZ19 %V 11713 %@ 978-3-030-29726-8

@inproceedings{conf/cdmake/BertoglioLZ19, added-at = {2019-09-05T00:00:00.000+0200}, author = {Bertoglio, Nicola and Lamperti, Gianfranco and Zanella, Marina}, biburl = {https://www.bibsonomy.org/bibtex/22bfd7fae7c4477061c8399a0c99b6a53/dblp}, booktitle = {CD-MAKE}, crossref = {conf/cdmake/2019}, editor = {Holzinger, Andreas and Kieseberg, Peter and Tjoa, A Min and Weippl, Edgar R.}, ee = {https://doi.org/10.1007/978-3-030-29726-8_21}, interhash = {f960ae9fe63e206c6ed75fe4407f2b99}, intrahash = {2bfd7fae7c4477061c8399a0c99b6a53}, isbn = {978-3-030-29726-8}, keywords = {dblp}, pages = {333-352}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:38:06.000+0200}, title = {Temporal Diagnosis of Discrete-Event Systems with Dual Knowledge Compilation.}, url = {http://dblp.uni-trier.de/db/conf/cdmake/cdmake2019.html#BertoglioLZ19}, volume = 11713, year = 2019 }