%0 Conference Paper %1 conf/forte/VijzelaarF17 %A Vijzelaar, Stefan J. J. %A Fokkink, Wan J. %B FORTE %D 2017 %E Bouajjani, Ahmed %E Silva, Alexandra %I Springer %K dblp %P 210-224 %T Creating Büchi Automata for Multi-valued Model Checking. %U http://dblp.uni-trier.de/db/conf/forte/forte2017.html#VijzelaarF17 %V 10321 %@ 978-3-319-60225-7

@inproceedings{conf/forte/VijzelaarF17, added-at = {2017-06-06T00:00:00.000+0200}, author = {Vijzelaar, Stefan J. J. and Fokkink, Wan J.}, biburl = {https://www.bibsonomy.org/bibtex/219d69077617f03e63b39ca4a39d05150/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2017}, editor = {Bouajjani, Ahmed and Silva, Alexandra}, ee = {https://doi.org/10.1007/978-3-319-60225-7_15}, interhash = {3b3824b93dc68ccfc06ad53245ab841a}, intrahash = {19d69077617f03e63b39ca4a39d05150}, isbn = {978-3-319-60225-7}, keywords = {dblp}, pages = {210-224}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:59:31.000+0200}, title = {Creating Büchi Automata for Multi-valued Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2017.html#VijzelaarF17}, volume = 10321, year = 2017 }