Results: 4
Descending chains and narrowing on template abstract domains.
- Published in:
- Acta Informatica, 2018, v. 55, n. 6, p. 521, doi. 10.1007/s00236-016-0291-0
- By:
- Publication type:
- Article
Probabilistic bisimulation for realistic schedulers.
- Published in:
- Acta Informatica, 2018, v. 55, n. 6, p. 461, doi. 10.1007/s00236-018-0313-1
- By:
- Publication type:
- Article
Preface for the special issue “FM15”.
- Published in:
- Acta Informatica, 2018, v. 55, n. 6, p. 459, doi. 10.1007/s00236-018-0323-z
- By:
- Publication type:
- Article
Replication, refinement & reachability: complexity in dynamic condition-response graphs.
- Published in:
- Acta Informatica, 2018, v. 55, n. 6, p. 489, doi. 10.1007/s00236-017-0303-8
- By:
- Publication type:
- Article