✦ LIBER ✦

Partial model checking of modal equations: A survey

✍ Scribed by Henrik Reif Andersen; Jorn Lind-Nielsen

Publisher: Springer
Year: 1999
Tongue: English
Weight: 344 KB
Volume: 2
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s100090050032

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A survey of partial differential equatio

A survey of partial differential equations in geometric design

✍ Gabriela González Castro; Hassan Ugail; Philip Willis; Ian Palmer 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 333 KB

Model checking and abstraction to the ai

Model checking and abstraction to the aid of parameterized systems (a survey)

✍ Lenore Zuck; Amir Pnueli 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 433 KB

Parameterized systems are systems that involve numerous instantiations of the same ÿnite-state module, and depend on a parameter which deÿnes their size. Examples of parameterized systems include sensor systems, telecommunication protocols, bus protocols, cache coherence protocols, and many other pr

A survey of partial differential equatio

A survey of partial differential equations methods in weak KAM theory

✍ Lawrence C. Evans 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 582 KB

Survey of local properties of solutions

Survey of local properties of solutions of elliptic partial differential equations

✍ Lipman Bers 📂 Article 📅 1956 🏛 John Wiley and Sons 🌐 English ⚖ 669 KB

Survey of a quark model

✍ Stanley P. Gudder 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 668 KB

A survey of Galois theory for systems of

A survey of Galois theory for systems of partial differential equations and its applications in physics

✍ J.-F. Pommaret 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 559 KB