Truth/SLC

MaRDI QIDQ14328swMATHFDO

Official website http://www.springerlink.com/content/4xxfkk34c1jwqa6g/

Cited in

(5)

• Computer Aided Verification
• scientific article; zbMATH DE number 1954381 (Why is no real title available?)
• An automata-theoretic approach to constraint LTL
• PlayGame
• mCRL

This page was built for software: Truth/SLC