Return to search

Verification of Non-Regular Program Properties

HASH(0x63723f0)

Identiferoai:union.ndltd.org:MUENCHEN/oai:edoc.ub.uni-muenchen.de:11677
Date25 June 2010
CreatorsAxelsson, Roland
Publisherlmu
Source SetsDigitale Hochschulschriften der LMU
Detected LanguageEnglish
TypeDissertation, NonPeerReviewed
Formatapplication/pdf
Relationhttp://edoc.ub.uni-muenchen.de/11677/

Page generated in 0.0019 seconds