Language and Runtime Techniques for better Model Checking Efficiency of Parallel Programs

Conference contribution
(Original article)


Publication Details

Author(s): Veldema R, Philippsen M
Editor(s): Călin Cașcaval, Pablo Montesinos
Publisher: Springer
Publishing place: Berlin Heidelberg
Publication year: 2013
Conference Proceedings Title: Proceedings of the 26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013)
Pages range: Poster
ISBN: 978-3-319-09966-8
Language: English


FAU Authors / FAU Editors

Philippsen, Michael Prof. Dr.
Lehrstuhl für Informatik 2 (Programmiersysteme)
Veldema, Ronald PD Dr.
Lehrstuhl für Informatik 2 (Programmiersysteme)


How to cite

APA:
Veldema, R., & Philippsen, M. (2013). Language and Runtime Techniques for better Model Checking Efficiency of Parallel Programs. In Călin Cașcaval, Pablo Montesinos (Eds.), Proceedings of the 26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013) (pp. Poster). San Jose, California, USA, US: Berlin Heidelberg: Springer.

MLA:
Veldema, Ronald, and Michael Philippsen. "Language and Runtime Techniques for better Model Checking Efficiency of Parallel Programs." Proceedings of the 26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013), San Jose, California, USA Ed. Călin Cașcaval, Pablo Montesinos, Berlin Heidelberg: Springer, 2013. Poster.

BibTeX: 

Last updated on 2018-19-04 at 02:52