Additional Metadata
Journal Proceedings of 21st MODELS Workshops 2018: Copenhagen, Denmark
Conference 21st MODELS Workshops 2018: Copenhagen, Denmark
Citation
Lion, B, Chouali, S, & Arbab, F. (2018). Compiling Protocols to Promela and Verifying their LTL Properties. In Proceedings of 21st MODELS Workshops 2018: Copenhagen, Denmark.