Abstraction-based Parameterized TLA Checker


Project Acronym Projekt Kurzbezeichnung
APALACHE
 
Project Title (de) Projekttitel (de)
Abstraction-based Parameterized TLA Checker
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Results 1-6 of 6 (Search time: 0.001 seconds).