PDL over Accelerated Labeled Transition Systems

2008

Presented at the IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering

Additional Metadata
THEME	Software (theme 1)
Publisher	IEEE Computer Society
Project	Verification and Epistemics of Multi-Party Protocol Security (is een SEN1 en SEN2 project)
Conference	IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering
Organisation	Specification and Analysis of Embedded Systems
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Chen, T., van de Pol, J.& Wang, Y. (2008, January). PDL over Accelerated Labeled Transition Systems. 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering.

Publication