Modular Markovian logic

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

10 Citationer (Scopus)
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind6756 LNCS
Sider (fra-til)380-391
Antal sider12
ISSN0302-9743
DOI
StatusUdgivet - 1 jan. 2011
Begivenhed38th International Colloquium on Automata, Languages and Programming - Zurich, Schweiz
Varighed: 4 jul. 20118 jul. 2011
Konferencens nummer: 38

Konference

Konference38th International Colloquium on Automata, Languages and Programming
Nummer38
LandSchweiz
ByZurich
Periode04/07/201108/07/2011

Fingerprint

Logic
Markov processes
Separation Logic
Bisimulation
Axiomatization
Operator
Markov Process
Hilbert
Continuous Time
Equivalence
Model
Style

Bibliografisk note

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

Citer dette

@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.)",
year = "2011",
month = "1",
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",

}

Modular Markovian logic. / Cardelli, L.; Larsen, Kim Guldstrand; Mardare, R.

I: Lecture Notes in Computer Science, Bind 6756 LNCS, 01.01.2011, s. 380-391.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

TY - GEN

T1 - Modular Markovian logic

AU - Cardelli, L.

AU - Larsen, Kim Guldstrand

AU - Mardare, R.

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

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

ER -