Verfasser Suchresultate :: Subito Katalog

1

A CTL* Model Checker for Petri Nets

von Amparore, Elvio Gilberto
Veröffentlicht in PETRI NETS (41. : 2020 : Online) Application and theory of petri nets and concurrency (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: