✦ LIBER ✦

Preface: Volume 89, Issue 4

✍ Scribed by Ofer Strichman; Armin Biere

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 42 KB
Volume: 89
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)82541-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface: Volume 89, Issue 2

✍ Oleg Sokolsky; Mahesh Viswanathan 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 47 KB

Preface: Volume 44, Issue 4

✍ Hartmut Ehrig; Claudia Ermel; Julia Padberg 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 49 KB

Preface: Volume 86, Issue 4

✍ Bernhard Gramlich; Salvador Lucas 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 55 KB

Preface: Volume 68 Issue 4

✍ Lubos Brim; Orna Grumberg 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 39 KB

The aim of the PDMC 2002 workshop was to cover all aspects of parallel and distributed model checking and supporting techniques. The mission was on one side to introduce people to the field of parallel and distributed model checking and on the other side to be a working forum for describing new rese

Preface: Volume 65, Issue 4

✍ Elke Pulvermueller; Isabelle Borne; Noury Bouraqadi; Pierre Cointe; Uwe Assmann 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 42 KB

Preface: Volume 66, Issue 4

✍ Antonio Brogi; Ernesto Pimentel 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 34 KB

The workshop on "Formal methods and component interaction" was held in Málaga, Spain, on July 12, 2002, as a satellite event of the 29th International Colloquium on Automata, Languages, and Programming (ICALP'2002). The main objective of the workshop was to provide a forum to discuss the applicatio