Mieke Massinek · 1 obras en el catálogoObrasTTheoretical and Practical Aspects of SPIN Model CheckingTheoretical and Practical Aspects of SPIN Model Checking
TTheoretical and Practical Aspects of SPIN Model CheckingTheoretical and Practical Aspects of SPIN Model Checking