%0 Conference Paper %1 conf/fmics/SfarCIC23 %A Sfar, Aziz %A Carral, David %A Irofti, Dina %A Croitoru, Madalina %B FMICS %D 2023 %E Cimatti, Alessandro %E Titolo, Laura %I Springer %K dblp %P 189-204 %T Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2023.html#SfarCIC23 %V 14290 %@ 978-3-031-43681-9

@inproceedings{conf/fmics/SfarCIC23, added-at = {2023-09-24T00:00:00.000+0200}, author = {Sfar, Aziz and Carral, David and Irofti, Dina and Croitoru, Madalina}, biburl = {https://www.bibsonomy.org/bibtex/2707a6c64447b2aa02db7df160dcb6309/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2023}, editor = {Cimatti, Alessandro and Titolo, Laura}, ee = {https://doi.org/10.1007/978-3-031-43681-9_11}, interhash = {c2d634201faab5bda5311e06084de883}, intrahash = {707a6c64447b2aa02db7df160dcb6309}, isbn = {978-3-031-43681-9}, keywords = {dblp}, pages = {189-204}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:56:19.000+0200}, title = {Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2023.html#SfarCIC23}, volume = 14290, year = 2023 }