𝔖 Bobbio Scriptorium

✦ LIBER ✦

Invariant-preserving transformations for the verification of place/transition systems

✍ Scribed by To-Yat Cheung; Wei Zeng

Book ID: 117873907
Publisher: IEEE
Year: 1998
Tongue: English
Weight: 238 KB
Volume: 28
Category: Article
ISSN: 1083-4427
DOI: 10.1109/3468.650328

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Simple recursive processes for determini

Simple recursive processes for determining Laplace and Z transforms of the zero-input responses of linear time-invariant systems

✍ O'Connell, R.A. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 192 KB

Erratum: Volume 226, Number 2 (1993), in

Erratum: Volume 226, Number 2 (1993), in the article "Calculational Rules for Evaluating Transition Rates of Reactions Taking Place in a Closed System," by A. Niégawa and K. Takashiba, pp. 293-330

📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 12 KB

[IEEE 26th Annual International Conferen

[IEEE 26th Annual International Conference of the IEEE Engineering in Medicine and Biology Society - San Francisco, CA, USA (1-5 Sept. 2004)] The 26th Annual International Conference of the IEEE Engineering in Medicine and Biology Society - EEG features extraction using neuro-fuzzy systems and shift-invariant wavelet transforms for epileptic seizures diagnosing

✍ Akhbardeh, A.; Farrokhi, M.; Vahabian Tehrani, A. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 286 KB