Return to search

Towards a Mobile Temporal Logic of Actions

No description available.
Identiferoai:union.ndltd.org:MUENCHEN/oai:edoc.ub.uni-muenchen.de:5203
Date22 September 2005
CreatorsZappe, Julia
Publisherlmu
Source SetsDigitale Hochschulschriften der LMU
Detected LanguageEnglish
TypeDissertation, NonPeerReviewed
Formatapplication/pdf
Relationhttp://edoc.ub.uni-muenchen.de/5203/

Page generated in 0.0013 seconds