"A Distributed CTL Model Checker."

Laura Florentina Stoica, Florian Mircea Boian, Florin Stoica (2013)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2013-11-05