On Diagrams and General Model Checkers.

Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima

Browse the full DIAGRAMS paper archive.