Logical Anaysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

Resumé

LAMBERT Academic Publishing, ISBN 978-3838388984
OriginalsprogEngelsk
ForlagLambert Academic Publishing
ISBN (Trykt)9783838388984
StatusUdgivet - 2010

Fingerprint

logic

Citer dette

@book{44825ec55f5b464798586dcfc3e5f0c7,
title = "Logical Anaysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras",
abstract = "LAMBERT Academic Publishing, ISBN 978-3838388984",
author = "Mardare, {Radu Iulian}",
year = "2010",
language = "English",
isbn = "9783838388984",
publisher = "Lambert Academic Publishing",

}

Logical Anaysis of Complex Concurrent Systems : Dynamic-Epistemic Spatial Logics for Process Algebras. / Mardare, Radu Iulian.

Lambert Academic Publishing, 2010.

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

TY - BOOK

T1 - Logical Anaysis of Complex Concurrent Systems

T2 - Dynamic-Epistemic Spatial Logics for Process Algebras

AU - Mardare, Radu Iulian

PY - 2010

Y1 - 2010

N2 - LAMBERT Academic Publishing, ISBN 978-3838388984

AB - LAMBERT Academic Publishing, ISBN 978-3838388984

M3 - Book

SN - 9783838388984

BT - Logical Anaysis of Complex Concurrent Systems

PB - Lambert Academic Publishing

ER -