Publications

Model Checking Expected Time and Expected Reward Formulae with Random Time Bounds

AuthID
P-004-PE3

Author(s)

Kwiatkowska, M

Norman, G

Pacheco, A

Document Type

Article

Year published

2006

Published

in COMPUTERS & MATHEMATICS WITH APPLICATIONS, ISSN: 0898-1221

Volume: 51, Issue: 2, Pages: 305-316 (12)

Conference

2Nd Euro-Japanese Workshop on Stochastic Modelling for Finance Insurance Production and Reliability, Date: SEP 18-20, 2002, Location: Chamonix, FRANCE

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1016/j.camwa.2005.11.016

Scopus: 2-s2.0-33244482257

Wos: WOS:000235320700017

Source Identifiers

ISSN: 0898-1221

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Model Checking Expected Time and Expected Reward Formulae with Random Time Bounds

Useful Links

Get Help

Federated Authentication (Click on the image)

Model Checking Expected Time and Expected Reward Formulae with Random Time Bounds

Useful Links

Get Help