Modeling and Verification of Reliable Messaging by Graph Transformation Systems
Date
Type
folyóiratcikk
ISSN, e-ISSN
1571-0661
Periodical Number
4
Periodical Volume
175
Container Title
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Gender
szakcikk
Műegyetemi Digitális Archívum