%0 Conference Paper %1 conf/fmcad/CavadaCMSCS18 %A Cavada, Roberto %A Cimatti, Alessandro %A Mover, Sergio %A Sessa, Mirko %A Cadavero, Giuseppe %A Scaglione, Giuseppe %B FMCAD %D 2018 %E Bjørner, Nikolaj S. %E Gurfinkel, Arie %I IEEE %K dblp %P 1-9 %T Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2018.html#CavadaCMSCS18 %@ 978-0-9835678-8-2

@inproceedings{conf/fmcad/CavadaCMSCS18, added-at = {2019-09-25T00:00:00.000+0200}, author = {Cavada, Roberto and Cimatti, Alessandro and Mover, Sergio and Sessa, Mirko and Cadavero, Giuseppe and Scaglione, Giuseppe}, biburl = {https://www.bibsonomy.org/bibtex/23db39a55bc114218d0570350b283aceb/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2018}, editor = {Bjørner, Nikolaj S. and Gurfinkel, Arie}, ee = {https://doi.org/10.23919/FMCAD.2018.8603007}, interhash = {62c23fd847ace086ad71c65cbeec04b3}, intrahash = {3db39a55bc114218d0570350b283aceb}, isbn = {978-0-9835678-8-2}, keywords = {dblp}, pages = {1-9}, publisher = {IEEE}, timestamp = {2024-04-09T23:58:44.000+0200}, title = {Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2018.html#CavadaCMSCS18}, year = 2018 }