Constraint-Based Reacheability
- Authors
- A. Gotlieb
- Status
- Published
- Publication type
- Talks Invited
- Year of publication
- 2012
- Journal
- INFINITY Workshop, co-located with FM 2012, Paris
- Publisher
- .
- Notes
- INFINITY Workshop, co-located with FM 2012, Paris
- Citation key
- 8896