Nested Antichains for WS1S
Date:
This was presentation of our paper accepted ad TACAS’15 during the MEMICS 2015 local conference.
Tomáš Fiedor
Performance Analysis Researcher
- Brno, Czech Republic
- ResearchGate
- Github
- Google Scholar
Date:
This was presentation of our paper accepted ad TACAS’15 during the MEMICS 2015 local conference.