✦ LIBER ✦

Deadlock detection using abstraction refinement

✍ Scribed by Hong-wei Zeng

Book ID: 107482749
Publisher: Chinese Electronic Periodical Services
Year: 2010
Tongue: English
Weight: 150 KB
Volume: 14
Category: Article
ISSN: 1007-6417
DOI: 10.1007/s11741-010-0101-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deadlock detection using (0, 1)-labellin

Deadlock detection using (0, 1)-labelling of resource allocation graphs

✍ Cahit, I. 📂 Article 📅 1998 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 539 KB

Abstraction refinement in symbolic model

Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure

✍ Bing Li; Chao Wang; Fabio Somenzi 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 548 KB

Edge detection and surface reconstructio

Edge detection and surface reconstruction using refined regularization

✍ Gokmen, M.; Li, C.-C. 📂 Article 📅 1993 🏛 IEEE 🌐 English ⚖ 891 KB

On using data abstractions for model che

On using data abstractions for model checking refinements

✍ John Derrick; Heike Wehrheim 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 444 KB

ChemInform Abstract: Cancer Detection Us

ChemInform Abstract: Cancer Detection Using Nanoparticle-Based Sensors

✍ Maelle Perfezou; Anthony Turner; Arben Merkoci 📂 Article 📅 2012 🏛 John Wiley and Sons ⚖ 18 KB

ChemInform Abstract: γ-Sodium Gallate: A

ChemInform Abstract: γ-Sodium Gallate: A Rietveld Refinement Using X-Ray Powder Diffraction.

✍ Maria-Elena Villafuerte-Castrejon; Lauro Bucio; Angel Sanchez-Arjona; Julio Duqu 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 32 KB 👁 1 views

## Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 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