Publication:3104005

zbMath1237.68010MaRDI QIDQ3104005

Peter Höfner

Publication date: 19 December 2011

Full work available at URL: http://opus.bibliothek.uni-augsburg.de/volltexte/2010/1481/

zbMATH Keywords

hybrid systems; automation; Kleene algebra; neighbourhood logic; CTL*

Mathematics Subject Classification ID

03B70: Logic in computer science

08A70: Applications of universal algebra in computer science

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

68-02: Research exposition (monographs, survey articles) pertaining to computer science

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Unnamed Item, Fixing Zeno gaps, Modal algebra and Petri nets, Continuity as a computational effect

Uses Software

• Prover9