Discriminative Model Checking
Work
Year: 2008
Type: book-chapter
Authors Peter Niebert, Doron Peled, Amir Pnueli
Institutions Laboratoire d’Informatique Fondamentale de Marseille, Bar-Ilan University, Courant Institute of Mathematical Sciences
Cites: 21
Cited by: 15
Related to: 10
FWCI: 2.714
Citation percentile (by year/subfield): 81.36
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: bronze