Return to search

Integration of graph transformation and temporal logic for the specification of distributed systems

Techn. University, Diss., 1999--Berlin.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/174641699
CreatorsKoch, Manuel.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
TypeOnline-Publikation.

Page generated in 0.0015 seconds