Found 5 Documents (Results 1–5)
FAST verification of the class of stop-and-wait protocols modelled by coloured Petri nets. (English) Zbl 1087.68012
Filter Results by …
all
top 5
Author
- Al-Azzoni, Issam (1)
- Barros, João Paulo (1)
- Billington, Jonathan (1)
- Down, Douglas G. (1)
- Gallasch, Guy Edward (1)
- Jørgensen, Jens Bæk (1)
- Petrank, Erez (1)
- Petrucci, Laure (1)
- Prieto, Elena (1)
- Rawitz, Dror (1)
- Sloper, Christian (1)
Main Field
- 68-XX (5)
Software
- Design/CPN (1)