Home Library Search History Settings Plans

Log in Create account

Home Library Search History Settings Plans

Log in Create account

Verification and Control of Hybrid Systems - A Symbolic Approach

Authors: Paulo Tabuada - DAGLIB 2009 cited by 635

Research-grade literature search and reference management for serious knowledge work.

Home Library Search History Settings Plans

Blog Authors Data sources For librarians API documentation Legal notice Terms of service Privacy policy

Verification and Control of Hybrid Systems - A Symbolic Approach | Litlas