Similarity, Logic, and Games - Bridging Modeling Layers of Hybrid Systems

Jan-David Quesel. Similarity, Logic, and Games - Bridging Modeling Layers of Hybrid Systems. PhD thesis, Universität Oldenburg, 2013.

Abstract

Abstract is missing.