𝔖 Bobbio Scriptorium

✦ LIBER ✦

Branching-Time Logics Repeatedly Referring to States

✍ Scribed by Volker Weber

Publisher: Springer Netherlands
Year: 2009
Tongue: English
Weight: 518 KB
Volume: 18
Category: Article
ISSN: 0925-8531
DOI: 10.1007/s10849-009-9093-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A temporal logic approach to state reach

A temporal logic approach to state reachability in real-time program synchronization and verification : D. Ionescu, pp 11–18

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 111 KB