Combining Epistemic Logic and Hennessy-Milner Logic

Sophia Knight, Radu Iulian Mardare, Prakash Panangaden

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

1 Citationer (Scopus)
OriginalsprogEngelsk
TitelLogic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
RedaktørerRobert L. Constable, Alexandre Silva
Vol/bind7230
ForlagSpringer Science+Business Media
Publikationsdato2012
Sider219-243
ISBN (Trykt)978-3-642-29484-6
ISBN (Elektronisk)978-3-642-29485-3
DOI
StatusUdgivet - 2012
NavnLecture Notes in Computer Science
ISSN0302-9743

Citationsformater