A formal method to deal with uncertainty in systems with concurrent processes
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
St. Augustin, Ges. für Math. und Datenverarb., Inst. für Informationsforschung (ISF)
1979
|
Schriftenreihe: | Internal report / Gesellschaft für Mathematik und Datenverarbeitung, Institut für Informationsforschung (ISF)
79,2 |
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Keine Ergebnisse!