✦ LIBER ✦

Improved Bounded Model Checking for the Universal Fragment of CTL

✍ Scribed by Liang Xu; Wei Chen; Yan-Yan Xu; Wen-Hui Zhang

Publisher: Springer
Year: 2009
Tongue: English
Weight: 515 KB
Volume: 24
Category: Article
ISSN: 1000-9000
DOI: 10.1007/s11390-009-9208-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Improving state class constructions for

Improving state class constructions for CTL* model checking of time Petri nets

✍ Rachid Hadjidj; Hanifa Boucheneb 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 725 KB

An Improved Upper Bound for the Critical

An Improved Upper Bound for the Critical Probability of the Frog Model on Homogeneous Trees

✍ Élcio Lebensztayn; Fábio P. Machado; Serguei Popov 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 162 KB

The localization, diagnostic, and monito

The localization, diagnostic, and monitoring functions of student ratings in a model for improving university teaching

✍ Daniel S. Sheehan 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 801 KB

A diversity of student questionnaires are used by colleges and universities to provide data on faculty teaching performance. Yet the purposes for collecting this data are frequently unclear, and at times superficial. Rarely is student rating data used as a tool to improve faculty teaching. A more re