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

Veldema R, Philippsen M (2013)

Publication Language: English

Publication Type: Conference contribution, Original article

Publication year: 2013

Publisher: Springer

City/Town: Berlin Heidelberg

Pages Range: Poster

Conference Proceedings Title: Proceedings of the 26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013)

Event location: San Jose, California, USA US

ISBN: 978-3-319-09966-8

DOI: 10.1007/978-3-319-09967-5

Authors with CRIS profile

Ronald Veldema Lehrstuhl für Informatik 2 (Programmiersysteme) Michael Philippsen 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: Download