Merkliste 
 1 Ergebnisse 
 
1

Reachability Analysis via Orthogonal Sets of Patterns:

Feret, Jérôme ; Lý, Kim Quyên
Electronic Notes in Theoretical Computer Science.  335 (2018)  - p. 27-48 , 2018