✦ LIBER ✦

A generalized semantics of PROMELA for abstract model checking

✍ Scribed by María del Mar Gallardo; Pedro Merino; Ernesto Pimentel

Publisher: Springer
Year: 2004
Tongue: English
Weight: 273 KB
Volume: 16
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-004-0040-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Semantic analysis of concurrent ML by ab

Semantic analysis of concurrent ML by abstract model-checking

✍ Régis Cridlig 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 30 KB

A Tool for Abstraction in Model Checking

✍ María del Mar Gallardo; Jesús Martínez; Pedro Merino; Ernesto Pimentel 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 370 KB

Model checking for a general linear mode

Model checking for a general linear model with nonignorable missing covariates

✍ Zhi-hua Sun; Wai-Cheung Ip; Heung Wong 📂 Article 📅 2011 🏛 Institute of Applied Mathematics, Chinese Academy 🌐 English ⚖ 275 KB

ChemInform Abstract: A Generalized Kinet

ChemInform Abstract: A Generalized Kinetic Model for Hydrometallurgical Processes

✍ Fathi Habashi 📂 Article 📅 2008 🏛 John Wiley and Sons ⚖ 15 KB 👁 1 views

## Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 200 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable v

Checking the Assumptions of Rasch's Mode

Checking the Assumptions of Rasch's Model for Speed Tests

✍ M. G. H. Jansen; C. A. W. Glas 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 106 KB

A generalized midpoint algorithm for the

A generalized midpoint algorithm for the integration of a generalized plasticity model for sands

✍ P. Mira; L. Tonni; M. Pastor; J. A. Fernández Merodo 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 478 KB