selected publications
-
academic article
- An open tool architecture for the formal verification of logic controllers in processing systems. IFAC Proceedings Volumes. 32:4828-4833. 1999
Close
Preuβig, J.
Positions
Publications
Contact
full name
- J. Preuβig
Publications in VIVO
Co-author Network
Map of Science