Pierre Wolper
- An automata-theoretic approach to branching-time model checking
2000/03/01 by Orna Kupferman, Moshe Y. Vardi, Pierre Wolper · 12 citations
Computer Science · Chemistry · #Formal Methods in Verification #Synthetic Organic Chemistry Methods #Software Testing and Debugging Techniques