Back to Search
Start Over
On Refinements of Boolean and Parametric Modal Transition Systems.
- Source :
- Theoretical Aspects of Computing - ICTAC 2013; 2013, p213-230, 18p
- Publication Year :
- 2013
Details
- Language :
- English
- ISBNs :
- 9783642397172
- Database :
- Complementary Index
- Journal :
- Theoretical Aspects of Computing - ICTAC 2013
- Publication Type :
- Book
- Accession number :
- 94222375
- Full Text :
- https://doi.org/10.1007/978-3-642-39718-9_13