About this scholarly article

2015 15th International Conference on Application of Concurrency to System Design - Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata by Salem, Ala Eddine Ben; Graiet, Mohamed is a scholarly article available to read on EtoBox.

Author

Salem, Ala Eddine Ben; Graiet, Mohamed

Publisher

IEEE

Published

2015

Language

EN