Using Modal Logics for the Formal Analysis and Synthesis of Hybrid Control Systems
Loading...
Date
Authors
Davoren, Jennifer M.
Journal Title
Journal ISSN
Volume Title
Publisher
Australian National University
Abstract
Description
Keywords
Citation
Collections
Source
AWCL-2000