Author:
ter Beek Maurice H.,Gnesi Stefania,Latella Diego,Massink Mieke,Sebastianis Maurizio,Trentanni Gianluca
Reference21 articles.
1. Automatic verification of finite-state concurrent systems using temporal logic specifications;Clarke;ACM Transactions on Programming Languages and Systems,1986
2. Lecture Notes in Computer Science;Kwiatkowska,2007
3. D. Wells 2006 http://www.extremeprogramming.org