Browsing by Author "Yahav, Eran"
Now showing items 1-1 of 1
-
LTL Model Checking for Systems with Unbounded Number of Dynamically Created Threads and Objects,
Yahav, Eran; Reps, Thomas; Sagiv, Mooly (University of Wisconsin-Madison Department of Computer Sciences, 2001)