Model Checking
Publisher: The MIT Press
Published: Dec 04, 2018
Format: hardcover
Number of pages: 424
ISBN-13: 9780262038836
Notes: Source title: Model Checking (Cyber Physical Systems Series)