Parametric and Quantitative Extensions of Modal Transition Systems

Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)
Original languageEnglish
Title of host publicationFrom Programs to Systems. : The Systems perspective in Computing
EditorsSaddek Bensalem, Yassine Lakhneck, Axel Legay
Volume8415
PublisherSpringer
Publication date14 Feb 2014
Pages84-97
DOIs
Publication statusPublished - 14 Feb 2014
SeriesLecture Notes in Computer Science
ISSN0302-9743

Cite this