[Lecture Notes in Computer Science] Model Checking Software Volume 7385 || Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue

✍ Scribed by Donaldson, Alastair; Parker, David

• Book ID: 120933532
• Publisher: Springer Berlin Heidelberg
• Year: 2012
• Weight: 395 KB
• Category: Article
• ISBN: 3642317596
• DOI: 10.1007/978-3-642-31759-0_6