@article{DBLP:journals/sigbed/BagheriKSML17,
  author    = {Maryam Bagheri and
               Ehsan Khamespanah and
               Marjan Sirjani and
               Ali Movaghar and
               Edward A. Lee},
  title     = {Runtime compositional analysis of track-based traffic control systems},
  journal   = {{SIGBED} Rev.},
  volume    = {14},
  number    = {3},
  pages     = {38--39},
  year      = {2017},
  url       = {https://doi.org/10.1145/3166227.3166233},
  doi       = {10.1145/3166227.3166233},
  timestamp = {Wed, 12 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sigbed/BagheriKSML17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Ek9JK8Qg3jQby5P39","bibbaseid":"bagheri-khamespanah-sirjani-movaghar-lee-runtimecompositionalanalysisoftrackbasedtrafficcontrolsystems-2017","downloads":0,"creationDate":"2019-04-18T17:57:32.648Z","title":"Runtime compositional analysis of track-based traffic control systems","author_short":["Bagheri, M.","Khamespanah, E.","Sirjani, M.","Movaghar, A.","Lee, E. A."],"year":2017,"bibtype":"article","biburl":"https://dblp.uni-trier.de/pers/tb1/k/Khamespanah:Ehsan.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Maryam"],"propositions":[],"lastnames":["Bagheri"],"suffixes":[]},{"firstnames":["Ehsan"],"propositions":[],"lastnames":["Khamespanah"],"suffixes":[]},{"firstnames":["Marjan"],"propositions":[],"lastnames":["Sirjani"],"suffixes":[]},{"firstnames":["Ali"],"propositions":[],"lastnames":["Movaghar"],"suffixes":[]},{"firstnames":["Edward","A."],"propositions":[],"lastnames":["Lee"],"suffixes":[]}],"title":"Runtime compositional analysis of track-based traffic control systems","journal":"SIGBED Rev.","volume":"14","number":"3","pages":"38–39","year":"2017","url":"https://doi.org/10.1145/3166227.3166233","doi":"10.1145/3166227.3166233","timestamp":"Wed, 12 May 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/sigbed/BagheriKSML17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/sigbed/BagheriKSML17,\n author = {Maryam Bagheri and\n Ehsan Khamespanah and\n Marjan Sirjani and\n Ali Movaghar and\n Edward A. Lee},\n title = {Runtime compositional analysis of track-based traffic control systems},\n journal = {{SIGBED} Rev.},\n volume = {14},\n number = {3},\n pages = {38--39},\n year = {2017},\n url = {https://doi.org/10.1145/3166227.3166233},\n doi = {10.1145/3166227.3166233},\n timestamp = {Wed, 12 May 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/sigbed/BagheriKSML17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bagheri, M.","Khamespanah, E.","Sirjani, M.","Movaghar, A.","Lee, E. A."],"key":"DBLP:journals/sigbed/BagheriKSML17","id":"DBLP:journals/sigbed/BagheriKSML17","bibbaseid":"bagheri-khamespanah-sirjani-movaghar-lee-runtimecompositionalanalysisoftrackbasedtrafficcontrolsystems-2017","role":"author","urls":{"Paper":"https://doi.org/10.1145/3166227.3166233"},"metadata":{"authorlinks":{"khamespanah, e":"http://www.ehsankhamespanah.ir/"}}},"search_terms":["runtime","compositional","analysis","track","based","traffic","control","systems","bagheri","khamespanah","sirjani","movaghar","lee"],"keywords":[],"authorIDs":["w8afXQqSMP673Z32C"],"dataSources":["XQFBr7xfzAa2rp9Ka"]}