Modular Markovian logic

L. Cardelli; Kim Guldstrand Larsen; R. Mardare

doi:10.1007/978-3-642-22012-8_30

Modular Markovian logic

L. Cardelli, Kim Guldstrand Larsen, R. Mardare

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	6756 LNCS
Sider (fra-til)	380-391
Antal sider	12
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-22012-8_30
Status	Udgivet - 1 jan. 2011
Begivenhed	38th International Colloquium on Automata, Languages and Programming - Zurich, Schweiz Varighed: 4 jul. 2011 → 8 jul. 2011 Konferencens nummer: 38

Konference

Konference	38th International Colloquium on Automata, Languages and Programming
Nummer	38
Land/Område	Schweiz
By	Zurich
Periode	04/07/2011 → 08/07/2011

Bibliografisk note

Proceedings of the 38th International Colloquium on Automata, Languages and Programming. Aceto, L., Henzinger, M. & Sgall, J. (eds.)

Adgang til dokumentet

10.1007/978-3-642-22012-8_30

Andre filer og links

Link to publication in Scopus

1 Afsluttet

Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Mardare, R.
01/10/2010 → 30/09/2012
Projekter: Projekt › Forskning

Citationsformater

@inproceedings{cd8208a6ad4145efb68c6b9b564ca270,

title = "Modular Markovian logic",

author = "L. Cardelli and Larsen, {Kim Guldstrand} and R. Mardare",

note = "Proceedings of the 38th International Colloquium on Automata, Languages and Programming. Aceto, L., Henzinger, M. & Sgall, J. (eds.); null ; Conference date: 04-07-2011 Through 08-07-2011",

year = "2011",

month = jan,

day = "1",

doi = "10.1007/978-3-642-22012-8_30",

language = "English",

volume = "6756 LNCS",

pages = "380--391",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}

TY - GEN

T1 - Modular Markovian logic

AU - Cardelli, L.

AU - Larsen, Kim Guldstrand

AU - Mardare, R.

N1 - Conference code: 38

PY - 2011/1/1

Y1 - 2011/1/1

UR - http://www.scopus.com/inward/record.url?scp=79959927796&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-22012-8_30

DO - 10.1007/978-3-642-22012-8_30

M3 - Conference article in Journal

AN - SCOPUS:79959927796

VL - 6756 LNCS

SP - 380

EP - 391

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

Y2 - 4 July 2011 through 8 July 2011

ER -

Modular Markovian logic

Konference

Bibliografisk note

Adgang til dokumentet

Andre filer og links

Fingeraftryk

Projekter

Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

Citationsformater