Home > Research > Publications & Outputs > A framework for the formal specification and ve...
View graph of relations

A framework for the formal specification and verification of distributed multimedia systems.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

Published
NullPointerException