Flexible analysis of distributed protocol implementations using virtual time
Year: 2010
Type: conference-paper
Source: RWTH Publications (RWTH Aachen)
Authors: Elias Weingärtner, Marko Ritter, Raimondas Sasnauskas, Klaus Wehrle
Institution: RWTH Aachen University
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1554421488