@inproceedings{DBLP:journals/corr/abs-1909-01744,
  author    = {Vlad Rusu and
               David Nowak},
  editor    = {Mircea Marin and
               Adrian Craciun},
  title     = {(Co)inductive Proof Systems for Compositional Proofs in Reachability
               Logic},
  booktitle = {Proceedings Third Symposium on Working Formal Methods, {FROM} 2019,
               Timi{\c{s}}oara, Romania, 3-5 September 2019},
  series    = {{EPTCS}},
  volume    = {303},
  pages     = {32--47},
  year      = {2019},
  url       = {https://doi.org/10.4204/EPTCS.303.3},
  doi       = {10.4204/EPTCS.303.3},
  timestamp = {Tue, 08 Oct 2019 16:28:21 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1909-01744.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"2Hincu45Q2wzuBn5g","bibbaseid":"rusu-nowak-coinductiveproofsystemsforcompositionalproofsinreachabilitylogic-2019","authorIDs":["Q8nWoCgp6SjySyEux"],"author_short":["Rusu, V.","Nowak, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vlad"],"propositions":[],"lastnames":["Rusu"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Nowak"],"suffixes":[]}],"editor":[{"firstnames":["Mircea"],"propositions":[],"lastnames":["Marin"],"suffixes":[]},{"firstnames":["Adrian"],"propositions":[],"lastnames":["Craciun"],"suffixes":[]}],"title":"(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic","booktitle":"Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019","series":"EPTCS","volume":"303","pages":"32–47","year":"2019","url":"https://doi.org/10.4204/EPTCS.303.3","doi":"10.4204/EPTCS.303.3","timestamp":"Tue, 08 Oct 2019 16:28:21 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-1909-01744.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/corr/abs-1909-01744,\n author = {Vlad Rusu and\n David Nowak},\n editor = {Mircea Marin and\n Adrian Craciun},\n title = {(Co)inductive Proof Systems for Compositional Proofs in Reachability\n Logic},\n booktitle = {Proceedings Third Symposium on Working Formal Methods, {FROM} 2019,\n Timi{\\c{s}}oara, Romania, 3-5 September 2019},\n series = {{EPTCS}},\n volume = {303},\n pages = {32--47},\n year = {2019},\n url = {https://doi.org/10.4204/EPTCS.303.3},\n doi = {10.4204/EPTCS.303.3},\n timestamp = {Tue, 08 Oct 2019 16:28:21 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-1909-01744.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Rusu, V.","Nowak, D."],"editor_short":["Marin, M.","Craciun, A."],"key":"DBLP:journals/corr/abs-1909-01744","id":"DBLP:journals/corr/abs-1909-01744","bibbaseid":"rusu-nowak-coinductiveproofsystemsforcompositionalproofsinreachabilitylogic-2019","role":"author","urls":{"Paper":"https://doi.org/10.4204/EPTCS.303.3"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/n/DavidNowak.bib","creationDate":"2020-06-02T14:36:01.582Z","downloads":0,"keywords":[],"search_terms":["inductive","proof","systems","compositional","proofs","reachability","logic","rusu","nowak"],"title":"(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic","year":2019,"dataSources":["QsobDjoLrbY9ktAcA"]}