„03“ befindet sich nicht in der Liste (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, ...) zulässiger Werte für das Attribut „Month“.

Lazy model checking for recursive state machines

Clemens DubslaffClemens Dubslaff, Patrick WienhöftPatrick Wienhöft, Ansgar FehnkerAnsgar Fehnker

DOI Link

Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
Lazy model checking for recursive state machines
Software and Systems Modeling, 1-33, 2024

Details
Bibtex

Forschungsgruppe:Research Group: Verifikation und formale quantitative Analyse„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Algebraic and Logical Foundations of Computer Science

@article{DWF2024,
  author  = {Clemens Dubslaff and Patrick Wienh{\"{o}}ft and Ansgar Fehnker},
  title   = {Lazy model checking for recursive state machines},
  journal = {Software and Systems Modeling},
  year    = {2024},
  pages   = {1-33},
  doi     = {10.1007/s10270-024-01159-z}
}