Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm

J van Katwijk, RCM de Rooij, S Stuurman, WJ Toetenel

Research output: Contribution to journalArticleScientificpeer-review

Original languageUndefined/Unknown
Pages (from-to)73-88
Number of pages16
JournalParallel and Distributed Computing Practices
Issue number1
Publication statusPublished - 2000


  • ZX Int.klas.verslagjaar < 2002

Cite this