Mosel

MaRDI QIDQ42207swMATHFDO

Official website https://rd.springer.com/chapter/10.1007/BFb0035388

Cited in

(10)

• jETI
• MONA
• VATA
• MTBDD
• LISA
• ATV
• wMSO theories as grammar formalisms
• scientific article; zbMATH DE number 1223610 (Why is no real title available?)
• Model checking parameterized systems
• Relativizations for the logic-automata connection

This page was built for software: Mosel