Details for the publication HermannsZ11.

Holger Hermanns (), Lijun Zhang: From Concurrency Models to Numbers - Performance and Dependability. In Software and Systems Safety - Specification and Verification, volume 30 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 182-210, 2011. DOI BIB