Luca Aceto et al: Reactive Systems: Modeling, Specification, and Verification
Abschlussbedingungen
Klicken Sie auf den Link 'intro2ccs.pdf', um die Datei anzuzeigen.