BibTeX record conf/tacas/FokkinkGHBHREMMRRDSTVV23

• > Home > conf/tacas/FokkinkGHBHREMMRRDSTVV23

@inproceedings{DBLP:conf/tacas/FokkinkGHBHREMMRRDSTVV23,
  author       = {Wan J. Fokkink and
                  Martijn A. Goorden and
                  Dennis Hendriks and
                  D. A. van Beek and
                  Albert T. Hofkamp and
                  Ferdie F. H. Reijnen and
                  L. F. P. Etman and
                  Lars Moormann and
                  Joanna M. van de Mortel{-}Fronczak and
                  Michel A. Reniers and
                  Jacobus E. Rooda and
                  Bram van der Sanden and
                  Ramon R. H. Schiffelers and
                  Sander Thuijsman and
                  J. J. Verbakel and
                  J. A. Vogel},
  editor       = {Sriram Sankaranarayanan and
                  Natasha Sharygina},
  title        = {Eclipse ESCET{\texttrademark}: The Eclipse Supervisory Control Engineering
                  Toolkit},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 29th International Conference, {TACAS} 2023, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13994},
  pages        = {44--52},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-30820-8\_6},
  doi          = {10.1007/978-3-031-30820-8\_6},
  timestamp    = {Sat, 30 Sep 2023 09:57:43 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/FokkinkGHBHREMMRRDSTVV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}