Model-Checking Parameterized Concurrent Programs Using Linear Interfaces
Published in Lecture notes in computer science • Jan 1, 2010
NobleIDNI7P35W88R94S44
Authors:,,
Salvatore La Torre
P. Madhusudan
Gennaro Parlato
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!