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
Bauer, Nanette
Positions
Publications
Contact
full name
- Nanette Bauer
Publications in VIVO
Co-author Network
Map of Science