BibTeX records: Benjamin Lion

download as .bib file

@article{DBLP:journals/scp/KappeLAT19,
  author    = {Tobias Kapp{\'{e}} and
               Benjamin Lion and
               Farhad Arbab and
               Carolyn L. Talcott},
  title     = {Soft component automata: Composition, compilation, logic, and verification},
  journal   = {Sci. Comput. Program.},
  volume    = {183},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.scico.2019.08.001},
  doi       = {10.1016/j.scico.2019.08.001},
  timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/KappeLAT19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LionCA18,
  author    = {Benjamin Lion and
               Samir Chouali and
               Farhad Arbab},
  title     = {Compiling Protocols to Promela and Verifying their {LTL} Properties},
  booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
               EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
               ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
               International Conference on Model Driven Engineering Languages and
               Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
  pages     = {31--39},
  year      = {2018},
  crossref  = {DBLP:conf/models/2018w},
  url       = {http://ceur-ws.org/Vol-2245/modcomp\_paper\_5.pdf},
  timestamp = {Tue, 28 May 2019 16:23:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/LionCA18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2018w,
  editor    = {Regina Hebig and
               Thorsten Berger},
  title     = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE,
               EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa,
               ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st
               International Conference on Model Driven Engineering Languages and
               Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2245},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2245},
  urn       = {urn:nbn:de:0074-2245-1},
  timestamp = {Tue, 28 May 2019 16:23:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/models/2018w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics