FAUST2
Formal Abstractions of Uncountable-STate STochastic processes
Conference Paper
(2015)
Author(s)
S. Esmaeil Zadeh Soudjani (TU Delft - Team Bart De Schutter)
C. Gevaerts (External organisation)
Alessandro Abate (University of Oxford, TU Delft - Team Bart De Schutter)
Research Group
Team Bart De Schutter
DOI related publication
https://doi.org/10.1007/978-3-662-46681-0_23
To reference this document use:
https://resolver.tudelft.nl/uuid:a4404b3b-fc85-48c7-b5e0-66b99c2e26e1
More Info
expand_more
expand_more
Publication Year
2015
Language
English
Research Group
Team Bart De Schutter
Pages (from-to)
272-286
ISBN (print)
978-3-662-46680-3
No files available
Metadata only record. There are no files for this record.