2014
DOI: 10.1007/978-3-642-54848-2_7
View full text
|
|
Share

Abstract: Abstract. We survey extensions of modal transition systems to specification theories for probabilistic and timed systems.

Search citation statements

Order By: Relevance

Paper Sections

0
0
0
0
0

Citation Types

0
1
0

Publication Types

Select...

Relationship

0
0

Authors

Journals