About This Item

Ask the MINDS@UW Librarian

LTL Model Checking for Systems with Unbounded Number of Dynamically Created Threads and Objects,

Show full item record

File(s):

Author(s)
Yahav, Eran; Reps, Thomas; Sagiv, Mooly
Publisher
University of Wisconsin-Madison Department of Computer Sciences
Date
Mar 15, 2012
Permanent link
http://digital.library.wisc.edu/1793/60254 
Export
Export to RefWorks 
​

Part of

Show full item record

Search and browse




About MINDS@UW

Deposit materials

  1. Register to deposit in MINDS@UW
  2. Need deposit privileges? Contact us.
  3. Already registered? Have deposit privileges? Deposit materials.