RAISE. Erasmy, F. & Sekerinski, E. In Formal Development of Reactive Systems - Case Study Production Cell, pages 277–293. 1995. Paper doi bibtex @incollection{DBLP:conf/korso/ErasmyS95,
author = {Fran{\c{c}}ois Erasmy and
Emil Sekerinski},
title = {{RAISE}},
booktitle = {Formal Development of Reactive Systems - Case Study Production Cell},
pages = {277--293},
year = {1995},
crossref = {DBLP:conf/korso/1995fd},
url = {https://doi.org/10.1007/3-540-58867-1\_60},
doi = {10.1007/3-540-58867-1\_60},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/bib/conf/korso/ErasmyS95},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"6MLJgSkMhQ7orHN45","bibbaseid":"erasmy-sekerinski-raise-1995","downloads":0,"creationDate":"2019-02-02T15:48:53.612Z","title":"RAISE","author_short":["Erasmy, F.","Sekerinski, E."],"year":1995,"bibtype":"incollection","biburl":"http://dblp.org/pers/tb2/s/Sekerinski:Emil","bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["François"],"propositions":[],"lastnames":["Erasmy"],"suffixes":[]},{"firstnames":["Emil"],"propositions":[],"lastnames":["Sekerinski"],"suffixes":[]}],"title":"RAISE","booktitle":"Formal Development of Reactive Systems - Case Study Production Cell","pages":"277–293","year":"1995","crossref":"DBLP:conf/korso/1995fd","url":"https://doi.org/10.1007/3-540-58867-1_60","doi":"10.1007/3-540-58867-1_60","timestamp":"Tue, 14 May 2019 10:00:41 +0200","biburl":"https://dblp.org/rec/bib/conf/korso/ErasmyS95","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@incollection{DBLP:conf/korso/ErasmyS95,\n author = {Fran{\\c{c}}ois Erasmy and\n Emil Sekerinski},\n title = {{RAISE}},\n booktitle = {Formal Development of Reactive Systems - Case Study Production Cell},\n pages = {277--293},\n year = {1995},\n crossref = {DBLP:conf/korso/1995fd},\n url = {https://doi.org/10.1007/3-540-58867-1\\_60},\n doi = {10.1007/3-540-58867-1\\_60},\n timestamp = {Tue, 14 May 2019 10:00:41 +0200},\n biburl = {https://dblp.org/rec/bib/conf/korso/ErasmyS95},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Erasmy, F.","Sekerinski, E."],"key":"DBLP:conf/korso/ErasmyS95","id":"DBLP:conf/korso/ErasmyS95","bibbaseid":"erasmy-sekerinski-raise-1995","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-58867-1_60"},"downloads":0},"search_terms":["raise","erasmy","sekerinski"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b"]}