Return to search

Guarded logics: algorithms and bisimulation

Techn. Hochsch., Diss., 2002--Aachen.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/175070271
CreatorsHirsch, Colin.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
TypeOnline-Publikation.

Page generated in 0.002 seconds