Conference contribution
(Original article)


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


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

Event details
Event: 26th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2013)
Event location: San Jose, California, USA
Start date of the event: 25/09/2013
End date of the event: 27/09/2014
Language: English



Focus Area of Individual Faculties


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). 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
Share link
Last updated on 2017-05-01 at 02:51
PDF downloaded successfully