✦ LIBER ✦

A Performance Study of Distributed Timed Automata Reachability Analysis

✍ Scribed by Gerd Behrmann

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Automata-Theoretic Approach to the Re

✍ A. Labroue; Ph. Schnoebelen 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 515 KB

Performance analysis of a distributed pr

✍ JS Saini; EJ Zaluska 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 570 KB

Performance analysis of timed Petri net

✍ M Reda El-Karaksy; Adnan S Nouh; AbdulRahman Al-Obaidan 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 834 KB

Distributed Searching of Multi-dimension

✍ Enrico Nardelli; Fabio Barillari; Massimo Pepe 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 274 KB

Performance and traffic analysis of a ne

✍ E Drakopoulos 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 1021 KB

Time-dependent performance analysis of a

✍ Joris Walraevens; Dieter Fiems; Herwig Bruneel 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 519 KB