The RERS 2017 challenge and workshop (invited paper)

Article Details
Title:	The RERS 2017 challenge and workshop (invited paper)
Article URLs:	https://doi.org/10.1145/3092282.3098206
Alternative Article URLs:
Authors:	Marc Jasper	Lawrence Livermore National Laboratory TU Dortmund University
	Maximilian Fecke	Lawrence Livermore National Laboratory TU Dortmund University
	Bernhard Steffen	TU Dortmund University
	Markus Schordan	Lawrence Livermore National Laboratory
	Jeroen Meijer	University of Twente
	Jaco van de Pol	University of Twente
	Falk Howar	Clausthal University of Technology
	Stephen F. Siegel	University of Delaware
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/spin/JasperFSSMPHS17
Author Comments:

Intl. Symposium on Model Checking Software, SPIN 2017