FAUST2: Formal Abstractions of Uncountable-STate STochastic processes

S Esmaeil Zadeh Soudjani, C. Gevaerts, A Abate

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

51 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 21st International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
Subtitle of host publication held as part of the European Joint Conferences on Theory and Practice of SoftwareTools and Algorithms for the Construction and Analysis of Systems
EditorsC. Baier, C. Tinelli
Place of PublicationBerlin/Heidelberg
PublisherSpringer
Pages272-286
ISBN (Print)978-3-662-46680-3
DOIs
Publication statusPublished - 2015
EventTACAS 2015: 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems - London, United Kingdom
Duration: 11 Apr 201518 Apr 2015

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9035

Conference

ConferenceTACAS 2015: 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems
CountryUnited Kingdom
CityLondon
Period11/04/1518/04/15

Bibliographical note

Harvest
Lecture Notes in Computer Science, volume 9035

Cite this