Previous
Next
Journal
- lecture notes in computer science17
- systems and software verification : model-checking techniques and tools17
- systems and software verification8
- foundations of software science and computation structures5
- information and computation5
- information processing letters4
- theory of computing systems4
- acta informatica3
- formal aspects of computing3