@article{journals/sttt/BakBBJNS19,
  added-at = {2020-04-02T00:00:00.000+0200},
  author = {Bak, Stanley and Beg, Omar Ali and Bogomolov, Sergiy and Johnson, Taylor T. and Nguyen, Luan Viet and Schilling, Christian},
  biburl = {https://www.bibsonomy.org/bibtex/27b2b1285e906718e9795797a6b6e3437/dblp},
  ee = {https://www.wikidata.org/entity/Q62037204},
  interhash = {1334c8abfa0d1028fd5aac7a483a34b3},
  intrahash = {7b2b1285e906718e9795797a6b6e3437},
  journal = {Int. J. Softw. Tools Technol. Transf.},
  keywords = {dblp},
  number = 1,
  pages = {87-104},
  timestamp = {2020-04-03T11:54:30.000+0200},
  title = {Hybrid automata: from verification to implementation.},
  url = {http://dblp.uni-trier.de/db/journals/sttt/sttt21.html#BakBBJNS19},
  volume = 21,
  year = 2019
}

{"_id":"ahBc9NSHSA558aYni","bibbaseid":"bak-beg-bogomolov-johnson-nguyen-schilling-hybridautomatafromverificationtoimplementation-2019","authorIDs":[],"author_short":["Bak, S.","Beg, O. A.","Bogomolov, S.","Johnson, T. T.","Nguyen, L. V.","Schilling, C."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-04-02T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Bak"],"firstnames":["Stanley"],"suffixes":[]},{"propositions":[],"lastnames":["Beg"],"firstnames":["Omar","Ali"],"suffixes":[]},{"propositions":[],"lastnames":["Bogomolov"],"firstnames":["Sergiy"],"suffixes":[]},{"propositions":[],"lastnames":["Johnson"],"firstnames":["Taylor","T."],"suffixes":[]},{"propositions":[],"lastnames":["Nguyen"],"firstnames":["Luan","Viet"],"suffixes":[]},{"propositions":[],"lastnames":["Schilling"],"firstnames":["Christian"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/27b2b1285e906718e9795797a6b6e3437/dblp","ee":"https://www.wikidata.org/entity/Q62037204","interhash":"1334c8abfa0d1028fd5aac7a483a34b3","intrahash":"7b2b1285e906718e9795797a6b6e3437","journal":"Int. J. Softw. Tools Technol. Transf.","keywords":"dblp","number":"1","pages":"87-104","timestamp":"2020-04-03T11:54:30.000+0200","title":"Hybrid automata: from verification to implementation.","url":"http://dblp.uni-trier.de/db/journals/sttt/sttt21.html#BakBBJNS19","volume":"21","year":"2019","bibtex":"@article{journals/sttt/BakBBJNS19,\n added-at = {2020-04-02T00:00:00.000+0200},\n author = {Bak, Stanley and Beg, Omar Ali and Bogomolov, Sergiy and Johnson, Taylor T. and Nguyen, Luan Viet and Schilling, Christian},\n biburl = {https://www.bibsonomy.org/bibtex/27b2b1285e906718e9795797a6b6e3437/dblp},\n ee = {https://www.wikidata.org/entity/Q62037204},\n interhash = {1334c8abfa0d1028fd5aac7a483a34b3},\n intrahash = {7b2b1285e906718e9795797a6b6e3437},\n journal = {Int. J. Softw. Tools Technol. Transf.},\n keywords = {dblp},\n number = 1,\n pages = {87-104},\n timestamp = {2020-04-03T11:54:30.000+0200},\n title = {Hybrid automata: from verification to implementation.},\n url = {http://dblp.uni-trier.de/db/journals/sttt/sttt21.html#BakBBJNS19},\n volume = 21,\n year = 2019\n}\n\n","author_short":["Bak, S.","Beg, O. A.","Bogomolov, S.","Johnson, T. T.","Nguyen, L. V.","Schilling, C."],"key":"journals/sttt/BakBBJNS19","id":"journals/sttt/BakBBJNS19","bibbaseid":"bak-beg-bogomolov-johnson-nguyen-schilling-hybridautomatafromverificationtoimplementation-2019","role":"author","urls":{"Link":"https://www.wikidata.org/entity/Q62037204","Paper":"http://dblp.uni-trier.de/db/journals/sttt/sttt21.html#BakBBJNS19"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/schilling?items=1000","creationDate":"2020-07-22T11:14:11.807Z","downloads":0,"keywords":["dblp"],"search_terms":["hybrid","automata","verification","implementation","bak","beg","bogomolov","johnson","nguyen","schilling"],"title":"Hybrid automata: from verification to implementation.","year":2019,"dataSources":["wzaMXjDv6gdxH4D3T"]}