• Medientyp: E-Artikel
  • Titel: Formal Aspects of Component Software: Debugging of BPMN Processes Using Coloring Techniques
  • Beteiligte: Nivon, Quentin; Salaün, Gwen
  • Erschienen: Springer International Publishing, 2022
  • Erschienen in: Formal Aspects of Component Software (2022), Seite 90-109
  • Sprache: Nicht zu entscheiden
  • DOI: 10.1007/978-3-031-20872-0_6
  • ISBN: 9783031208713; 9783031208720
  • ISSN: 1611-3349; 0302-9743
  • Entstehung:
  • Anmerkungen: