Modeling and Verification of Reliable Messaging by Graph Transformation Systems

Link a dokumentumra való hivatkozáshoz:

Cím és alcím: Modeling and Verification of Reliable Messaging by Graph Transformation Systems
Szerző: Gönczy, László; Kovács, Máté Amadé; Varró, Dániel
Megjelenés ideje: 2007
Nyelv: en
Egyéb azonosítók: MTMT: 1635304; Scopus: 34250898527
A cikket/könyvrészletet tartalmazó dokumentum címe: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
A forrás folyóirat évfolyama: 175
A forrás folyóirat száma: 4
ISSN, e-ISSN: 1571-0661
Dokumentumtípus: folyóiratcikk
Műfaj: szakcikk