Automation systems - Formal modeling of temporal change of physical structure.

Markus Gring, Alexander Fay

Browse the full IECON paper archive.