Parametrised Compositional Verification with Multiple Process and Data Types

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review


Research units


Original languageEnglish
Title of host publication13th International Conference on Application of Concurrency to System Design, Barcelona, Spain, July 8-10, 2013
EditorsJ. Carmona, M. T. Lazarescu, M. Pietkiewicz-Koutny
Publication statusPublished - 2013
MoE publication typeA4 Article in a conference publication

ID: 562564