Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
1 Array
|
|
sorted by
|
|
A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes7th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Dec 2017, Neuchâtel, Switzerland. pp.89-104, ⟨10.1007/978-3-030-11638-5_5⟩
Conference papers
hal-01944569v1
|