A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Nils Jansen, Mariëlle Stoelinga, Petra van den Bos

Research output: Book/Report › Book editing › Academic

61 Downloads (Pure)
Original languageEnglish
Place of PublicationCham
PublisherSpringer
Number of pages580
ISBN (Electronic)978-3-031-15629-8
ISBN (Print)978-3-031-15628-1
DOIs
Publication statusPublished - 2022

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume13560
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Access to Document

    • The Integration of Testing and Program Verification: A Position Paper

      Bos, P. V. D. & Huisman, M., 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Cham: Springer, p. 524–538 15 p. (Lecture Notes in Computer Science; vol. 13560).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

      Open Access
      File
      1 Citation (Scopus)
      81 Downloads (Pure)

    Cite this