%0 Conference Paper %1 conf/kbse/BrunelCCM18 %A Brunel, Julien %A Chemouil, David %A Cunha, Alcino %A Macedo, Nuno %B ASE %D 2018 %E Huchard, Marianne %E Kästner, Christian %E Fraser, Gordon %I ACM %K dblp %P 884-887 %T The electrum analyzer: model checking relational first-order temporal specifications. %U http://dblp.uni-trier.de/db/conf/kbse/ase2018.html#BrunelCCM18

@inproceedings{conf/kbse/BrunelCCM18, added-at = {2024-06-25T00:00:00.000+0200}, author = {Brunel, Julien and Chemouil, David and Cunha, Alcino and Macedo, Nuno}, biburl = {https://www.bibsonomy.org/bibtex/239d58b4e610ba4990f5344463eaa73b6/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2018}, editor = {Huchard, Marianne and Kästner, Christian and Fraser, Gordon}, ee = {https://doi.org/10.1145/3238147.3240475}, interhash = {df5d76b69319518ec062e39a72a89ff5}, intrahash = {39d58b4e610ba4990f5344463eaa73b6}, keywords = {dblp}, pages = {884-887}, publisher = {ACM}, timestamp = {2024-07-01T07:14:32.000+0200}, title = {The electrum analyzer: model checking relational first-order temporal specifications.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2018.html#BrunelCCM18}, year = 2018 }