Model Checking and Random Competition - A Study Using the Model Checking Framework MIC.
Year: 2000
Type: article
Authors: Alexander Wisspeintner, Franz Huber, Jan Philipps
Institution: Technical University of Munich
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1567979241