Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis."
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1303129779 |
Titel | Deadlock detection in communicating finite state machines by even reachability analysis / by Wuxu Peng |
Person(en) | Peng, Wuxu (Verfasser) |
Organisation(en) | SpringerLink (Online service) (Sonstige) |
Umfang/Format | Online-Ressource, 1 online resource. |
Persistent Identifier |
URN: urn:nbn:de:101:1-2023092021164148845715 DOI: 10.1023/A:1013640918785 |
URL | https://doi.org/10.1023/A:1013640918785 |
Zeitliche Einordnung | Erscheinungsdatum: 1997 |
DDC-Notation | 004.6 (maschinell ermittelte DDC-Kurznotation) |
Sprache(n) | Englisch (eng) |
Beziehungen | Enthalten in: Mobile networks and applications (Bd. 2, Nr. 3, date:11.1997: 251-257) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |
![E-Mail-Icon](/static/bilder/icon_email_klein.gif)