@inproceedings{DBLP:conf/fm/MikhajlovSL99,
  author    = {Leonid Mikhajlov and
               Emil Sekerinski and
               Linas Laibinis},
  title     = {Developing Components in the Presence of Re-entrance},
  booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
               of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
               Volume {II}},
  pages     = {1301--1320},
  year      = {1999},
  crossref  = {DBLP:conf/fm/1999-2},
  url       = {https://doi.org/10.1007/3-540-48118-4\_19},
  doi       = {10.1007/3-540-48118-4\_19},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/MikhajlovSL99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Rj5d5NdAQLG8pJ762","bibbaseid":"mikhajlov-sekerinski-laibinis-developingcomponentsinthepresenceofreentrance-1999","downloads":0,"creationDate":"2019-02-02T15:48:53.602Z","title":"Developing Components in the Presence of Re-entrance","author_short":["Mikhajlov, L.","Sekerinski, E.","Laibinis, L."],"year":1999,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/s/Sekerinski:Emil","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Leonid"],"propositions":[],"lastnames":["Mikhajlov"],"suffixes":[]},{"firstnames":["Emil"],"propositions":[],"lastnames":["Sekerinski"],"suffixes":[]},{"firstnames":["Linas"],"propositions":[],"lastnames":["Laibinis"],"suffixes":[]}],"title":"Developing Components in the Presence of Re-entrance","booktitle":"FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II","pages":"1301–1320","year":"1999","crossref":"DBLP:conf/fm/1999-2","url":"https://doi.org/10.1007/3-540-48118-4_19","doi":"10.1007/3-540-48118-4_19","timestamp":"Tue, 14 May 2019 10:00:46 +0200","biburl":"https://dblp.org/rec/bib/conf/fm/MikhajlovSL99","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fm/MikhajlovSL99,\n author = {Leonid Mikhajlov and\n Emil Sekerinski and\n Linas Laibinis},\n title = {Developing Components in the Presence of Re-entrance},\n booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development\n of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,\n Volume {II}},\n pages = {1301--1320},\n year = {1999},\n crossref = {DBLP:conf/fm/1999-2},\n url = {https://doi.org/10.1007/3-540-48118-4\\_19},\n doi = {10.1007/3-540-48118-4\\_19},\n timestamp = {Tue, 14 May 2019 10:00:46 +0200},\n biburl = {https://dblp.org/rec/bib/conf/fm/MikhajlovSL99},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Mikhajlov, L.","Sekerinski, E.","Laibinis, L."],"key":"DBLP:conf/fm/MikhajlovSL99","id":"DBLP:conf/fm/MikhajlovSL99","bibbaseid":"mikhajlov-sekerinski-laibinis-developingcomponentsinthepresenceofreentrance-1999","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-48118-4_19"},"downloads":0},"search_terms":["developing","components","presence","entrance","mikhajlov","sekerinski","laibinis"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b"]}