Verification of Modal Properties Using Boolean Equation Systems

von Angelika Mader

1997

Broschiert

ISBN: 978-3-929470-58-1

ISBN-10: 3-929470-58-6