Work

Memoised Garbage Collection for Software Model Checking

Year: 2009

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-00768-2_20

Authors: Viet Yen Nguyen, Theo C. Ruys

Institutions: RWTH Aachen University, University of Twente

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2120523998

FWCI: 0.469

Cites: 30

Cited by: 5

Related to: 10