Collaborated with:
S.Meldal
Talks about:
nondeterminist (1) generat (1) omega (1) model (1) rule (1) case (1)
Person: Michal Walicki
DBLP: Walicki:Michal
Contributed to:
Wrote 1 papers:
- TAPSOFT-1995-WalickiM #modelling #nondeterminism
- Generated Models and the omega-Rule: The Nondeterministic Case (MW, SM), pp. 424–438.