ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
14
views
23
references
Top references
cited by
9
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,824
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Programming Concepts and Methods PROCOMET ’98
An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)
other
Author(s):
P. R. D’Argenio
,
J.-P. Katoen
,
E. Brinksma
Publication date
(Print):
1998
Publisher:
Springer US
Read this book at
Publisher
Further versions
open (via free pdf)
oa repository (via OAI-PMH doi match)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Socioecological systems
Most cited references
23
Record
: found
Abstract
: not found
Article
: not found
A theory of timed automata
Rajeev Alur
,
David Dill
(1994)
0
comments
Cited
137
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Symbolic Model Checking for Real-Time Systems
J. Sifakis
,
T.A. Henzinger
,
S. Yovine
…
(1994)
0
comments
Cited
91
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Probability
A. N. Shiryaev
(1996)
0
comments
Cited
83
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1998
Pages
: 126-147
DOI:
10.1007/978-0-387-35358-6_12
SO-VID:
0fbc4cb1-e6b0-454f-a566-9104b1d31d77
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 126
An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)
pp. 304
Relating Linear and Branching Model Checking
Similar content
1,824
Electronic circular dichroism spectra using the algebraic diagrammatic construction schemes of the polarization propagator up to third order
Authors:
Mikael Scott
,
Dirk R. Rehn
,
Sonia Coriani
…
International Scientific Conference »Research and Edustion in Nursing«: Book of Abstracts, June 9th 2022, Maribor, Slovenia
Authors:
Mateja Lorber
,
Klavdija Čuček Trifkovič
,
Sonja Šostar Turk
…
Final efficacy update at 7 years of flat vs. chronomodulated infusion (chrono) of oxaliplatin, 5-fluorouracil and leucovorin as first-line treatment of meta-static colorectal cancer (abstract 936)
Authors:
See all similar
Cited by
9
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems
Authors:
H Bohnenkamp
,
J.-P. Katoen
,
H Hermanns
…
The theory of interactive generalized semi-Markov processes
Authors:
Roberto Gorrieri
,
Mario Bravetti
An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)
Authors:
P. R. D’Argenio
,
J.-P. Katoen
,
E. Brinksma
See all cited by