Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion

Publikation: Bidrag til tidsskriftTidsskriftartikel

81 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftTheoretical Computer Science
Vol/bind72 s.
ISSN0304-3975
StatusUdgivet - 1990

Citationsformater