%0 Conference Paper %1 conf/fmcad/RozierSTV23 %A Rozier, Kristin Y. %A Shankar, Natarajan %A Tinelli, Cesare %A Vardi, Moshe Y. %B FMCAD %D 2023 %E Nadel, Alexander %E Rozier, Kristin Yvonne %I IEEE %K dblp %P 1 %T Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2023.html#RozierSTV23 %@ 978-3-85448-060-0

@inproceedings{conf/fmcad/RozierSTV23, added-at = {2023-12-13T00:00:00.000+0100}, author = {Rozier, Kristin Y. and Shankar, Natarajan and Tinelli, Cesare and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/25a1aed3e81a56ef80063ec2c5896712e/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2023}, editor = {Nadel, Alexander and Rozier, Kristin Yvonne}, ee = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_4}, interhash = {6d53253a1e2ccab436213c509aa53899}, intrahash = {5a1aed3e81a56ef80063ec2c5896712e}, isbn = {978-3-85448-060-0}, keywords = {dblp}, pages = 1, publisher = {IEEE}, timestamp = {2024-04-09T23:58:38.000+0200}, title = {Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2023.html#RozierSTV23}, year = 2023 }