Connectivity of workflow nets: the foundations of stepwise verification.
- Published in:
- Acta Informatica, 2011, v. 48, n. 4, p. 213, doi. 10.1007/s00236-011-0137-8
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2011 AND VI 48 AND IP 4
Results: 2
1
2
A Markovian queue with varying number of servers and applications to the performance comparison of HSDPA user equipment.
- Published in:
- Acta Informatica, 2011, v. 48, n. 4, p. 243, doi. 10.1007/s00236-011-0138-7
- By:
- Publication type:
- Article