Deciding probabilistic bisimilarity over infinite-state probabilistic systems.
- Published in:
- Acta Informatica, 2008, v. 45, n. 2, p. 131, doi. 10.1007/s00236-007-0066-8
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2008 AND VI 45 AND IP 2
Results: 3
1
2
On-line graph coloring of $${\mathbb{P}_5}$$ -free graphs.
- Published in:
- Acta Informatica, 2008, v. 45, n. 2, p. 79, doi. 10.1007/s00236-007-0064-x
- By:
- Publication type:
- Article
3
Management of interval probabilistic data.
- Published in:
- Acta Informatica, 2008, v. 45, n. 2, p. 93, doi. 10.1007/s00236-007-0065-9
- By:
- Publication type:
- Article