Eintrag weiter verarbeiten
Testing Deadlock-Freedom of Computer Systems
Gespeichert in:
Zeitschriftentitel: | Journal of the ACM |
---|---|
Personen und Körperschaften: | |
In: | Journal of the ACM, 27, 1980, 2, S. 270-280 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Association for Computing Machinery (ACM)
|
Schlagwörter: |