Verification of Modal Properties Using Boolean Equation Systems

von Angelika Mader

Tapa blanda

ISBN: 978-3-929470-58-1

ISBN-10: 3-929470-58-6

(978-3-929470) · 1997