Publicações

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

AuthID
P-004-PE3

Author(s)

Kwiatkowska, M

Norman, G

Pacheco, A

Tipo de Documento

Article

Year published

2006

Publicado

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

Volume: 51, Número: 2, Páginas: 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
Fontes

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

Lista Marked

Adicionar à lista Marked

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

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

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

Links Úteis

Ajuda