Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Effective Infinite-State Model Checking by Input Equivalence Class Partitioning29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.38-53, ⟨10.1007/978-3-319-67549-7_3⟩
Conference papers
hal-01678956v1
|