Decidable extensions of Hennessy-Milner Logic

Radu Iulian Mardare, Corrado Priami

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

9 Citationer (Scopus)

Abstract

R. Mardare, C. Priami. Decidable extensions of Hennessy-Milner Logic. In Proc. of the International Conference on Formal Methods for Networked and Distributed Systems (FORTE 2006), Lecture Notes in Computer Science 4229:196-211, Springer, 2006
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind4229
Sider (fra-til)196
Antal sider211
ISSN0302-9743
StatusUdgivet - 2006

Fingeraftryk

Dyk ned i forskningsemnerne om 'Decidable extensions of Hennessy-Milner Logic'. Sammen danner de et unikt fingeraftryk.

Citationsformater