APA (7th ed.) Citation

Klarl, A. (2015). From Helena Ensemble Specifications to Promela Verification Models. Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, 39. https://doi.org/10.1007/978-3-319-23404-5_4

Chicago Style (17th ed.) Citation

Klarl, Annabelle. "From Helena Ensemble Specifications to Promela Verification Models." Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings 2015: 39. https://doi.org/10.1007/978-3-319-23404-5_4.

MLA (9th ed.) Citation

Klarl, Annabelle. "From Helena Ensemble Specifications to Promela Verification Models." Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, 2015, p. 39, https://doi.org/10.1007/978-3-319-23404-5_4.