Properties of Hybrid Systems—A Computer Science Perspective
Formal Methods in System Design
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Computations in space and space in computations
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Hi-index | 0.00 |