Works matching IS 00015903 AND DT 2018 AND VI 55 AND IP 6
Results: 4
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
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
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
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