Proving Invariants of I/O Automata with TAME
Automated Software Engineering2002Vol. 9(3), pp. 201–232
Citations Over TimeTop 10% of 2002 papers
Related Papers
- → Cardiac retransplantation in children(2004)32 cited
- → Bilateral sciatic nerve block after orthopedic surgery in a pediatric patient(2011)
- Susquehanna Chorale Spring Concert "Roots and Wings"(2017)
- → DETERMINING QUALITY REQUIREMENTS AT THE UNIVERSITIES TO IMPROVE THE QUALITY OF EDUCATION(2018)
- Enxerto livre de arteria epigastrica inferior: avaliacao hemodinamica e angiografica pre e pos-operatoria(1988)