Back to Search
Start Over
Quantified differential invariants.
- Source :
- Proceedings of the 14th International Conference: Hybrid Systems: Computation & Control; 4/12/2011, p63-72, 10p
- Publication Year :
- 2011
Details
- Language :
- English
- ISBNs :
- 9781450306294
- Database :
- Complementary Index
- Journal :
- Proceedings of the 14th International Conference: Hybrid Systems: Computation & Control
- Publication Type :
- Conference
- Accession number :
- 84127516
- Full Text :
- https://doi.org/10.1145/1967701.1967713