Model Checking Linear Logic Specifications.
, , und .
Theory Pract. Log. Program. 4 (5-6): 573-619 (2004)

  • @dblp
Diese Publikation wurde noch nicht bewertet.

Bewertungsverteilung
Durchschnittliche Benutzerbewertung0,0 von 5.0 auf Grundlage von 0 Rezensionen
    Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.