Quantitative Modal Transition Systems

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

1 Citation (Scopus)
Original languageEnglish
Title of host publicationRecent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Volume7841
PublisherSpringer Publishing Company
Publication date2013
Pages50-58
ISBN (Print)978-3-642-37634-4
ISBN (Electronic)978-3-642-37635-1
DOIs
Publication statusPublished - 2013
Event 21st International Workshop on Algebraic Development Techniques - Salamanca, Spain
Duration: 7 Jun 201210 Jun 2012

Conference

Conference 21st International Workshop on Algebraic Development Techniques
CountrySpain
CitySalamanca
Period07/06/201210/06/2012
SeriesLecture Notes in Computer Science
Volume7841
ISSN0302-9743

Cite this