Modeling and Verification of Reliable Messaging by Graph Transformation Systems

Author	Gönczy, László
Author	Kovács, Máté Amadé
Author	Varró, Dániel
Date accessioned	2016-09-04T21:27:01Z
Date available	2016-09-04T21:27:01Z
Date of issue	2007
URI of identifier	http://hdl.handle.net/10890/1772
Language	en
Title	Modeling and Verification of Reliable Messaging by Graph Transformation Systems
Document type	folyóiratcikk
Identifiers [mtmt]	1635304
Identifiers [scopus]	34250898527
ISSN, e-ISSN	1571-0661
Number of container document	4
Volume of container document	175
Title of the container document	ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Document genre	szakcikk

BME PA dokumentumai [3590]
Lezárt gyűjtemény. Fájlok hozzáférési felülvizsgálata folyamatban. Jelenleg a dokumentumok kizárólag BME-s IP címekről érhetők el.