@inproceedings{DBLP:journals/corr/abs-2311-09787,
  author       = {Francesco Belardinelli and
                  Angelo Ferrando and
                  Vadim Malvone},
  editor       = {Marie Farrell and
                  Matt Luckcuck and
                  Mario Gleirscher and
                  Maike Schwammberger},
  title        = {3vLTL: {A} Tool to Generate Automata for Three-valued {LTL}},
  booktitle    = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
                  Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
                  November 2023},
  series       = {{EPTCS}},
  volume       = {395},
  pages        = {180--187},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.395.13},
  doi          = {10.4204/EPTCS.395.13},
  timestamp    = {Tue, 07 May 2024 20:16:46 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-09787.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"JPY52yy7LabL5BSTP","bibbaseid":"belardinelli-ferrando-malvone-3vltlatooltogenerateautomataforthreevaluedltl-2023","author_short":["Belardinelli, F.","Ferrando, A.","Malvone, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Francesco"],"propositions":[],"lastnames":["Belardinelli"],"suffixes":[]},{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Vadim"],"propositions":[],"lastnames":["Malvone"],"suffixes":[]}],"editor":[{"firstnames":["Marie"],"propositions":[],"lastnames":["Farrell"],"suffixes":[]},{"firstnames":["Matt"],"propositions":[],"lastnames":["Luckcuck"],"suffixes":[]},{"firstnames":["Mario"],"propositions":[],"lastnames":["Gleirscher"],"suffixes":[]},{"firstnames":["Maike"],"propositions":[],"lastnames":["Schwammberger"],"suffixes":[]}],"title":"3vLTL: A Tool to Generate Automata for Three-valued LTL","booktitle":"Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023","series":"EPTCS","volume":"395","pages":"180–187","year":"2023","url":"https://doi.org/10.4204/EPTCS.395.13","doi":"10.4204/EPTCS.395.13","timestamp":"Tue, 07 May 2024 20:16:46 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-2311-09787.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/corr/abs-2311-09787,\n author = {Francesco Belardinelli and\n Angelo Ferrando and\n Vadim Malvone},\n editor = {Marie Farrell and\n Matt Luckcuck and\n Mario Gleirscher and\n Maike Schwammberger},\n title = {3vLTL: {A} Tool to Generate Automata for Three-valued {LTL}},\n booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous\n Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of\n November 2023},\n series = {{EPTCS}},\n volume = {395},\n pages = {180--187},\n year = {2023},\n url = {https://doi.org/10.4204/EPTCS.395.13},\n doi = {10.4204/EPTCS.395.13},\n timestamp = {Tue, 07 May 2024 20:16:46 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2311-09787.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belardinelli, F.","Ferrando, A.","Malvone, V."],"editor_short":["Farrell, M.","Luckcuck, M.","Gleirscher, M.","Schwammberger, M."],"key":"DBLP:journals/corr/abs-2311-09787","id":"DBLP:journals/corr/abs-2311-09787","bibbaseid":"belardinelli-ferrando-malvone-3vltlatooltogenerateautomataforthreevaluedltl-2023","role":"author","urls":{"Paper":"https://doi.org/10.4204/EPTCS.395.13"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/134/9527.bib","dataSources":["jkPac6coMCnfPS9v6","DemJHAtxwifL2qfuu","R5o3TG54ojRn5EMT4","ZEMwcoMYSZFYWJajW","GpdwcjP3cDneQaTbF","N94NEfdRnTcyXcg5P","Mt3To6SuEDqqAnZki","yDhN9JGJxcG56DJKw","5iJsrxNL2p3x5acur"],"keywords":[],"search_terms":["3vltl","tool","generate","automata","three","valued","ltl","belardinelli","ferrando","malvone"],"title":"3vLTL: A Tool to Generate Automata for Three-valued LTL","year":2023}