Back to Search
Start Over
Automated Analysis of an Audio Control Protocol Using UPPAAL
- Authors :
- Bengtsson, Johan
Griffioen, David
Kristoffersen, Kåre
Larsen, Kim
Larsson, Fredrik
Pettersson, Paul
Yi, Wang
Bengtsson, Johan
Griffioen, David
Kristoffersen, Kåre
Larsen, Kim
Larsson, Fredrik
Pettersson, Paul
Yi, Wang
- Publication Year :
- 2002
Details
- Database :
- OAIster
- Notes :
- English
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1234942506
- Document Type :
- Electronic Resource