Rensink, Arend; Heckel, Reiko; König, Barbara (Hrsg.) :

Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2006)

/ Rensink, Arend; Heckel, Reiko; König, Barbara (Hrsg.)
Elsevier (2007) (Electronic Notes in Theoretical Computer Science ; 175)
Buch / Monographie / Fach: Informatik
http://www.sciencedirect.com/science?_ob=PublicationURL&_tockey=%23TOC%2313109%232007%23998249995%23661814%23FLP%23&_cdi=13109&_pubType=J&view=c&_auth=y&_acct=C000047660&_version=1&_urlVersion=0&_userid=900438&md5=d7f257fc80a86ee05380c66640f328c4
Abstract:

ISSN: 1571-0661

Dieser Eintrag ist freigegeben.