✦ LIBER ✦

Alternating simulation and IOCO

✍ Scribed by Margus Veanes, Nikolaj Bjørner

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Improbi Iocos Phaedri

✍ Albert H. Travis 📂 Article 📅 1940 🏛 John Hopkins University Press ⚖ 647 KB

Specification completion for IOCO

✍ I. B. Bourdonov; A. S. Kossatchev 📂 Article 📅 2011 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 452 KB

Simulation relations for alternating Büc

✍ Carsten Fritz; Thomas Wilke 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 431 KB

Games and simulations: Creative educatio

✍ J. Thomas Butler 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 484 KB

On timed alternating simulation for conc

✍ Laura Bozzelli, Axel Legay, Sophie Pinchinat 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 568 KB

Simulation and modeling-alternate PSPICE

✍ Giacoletto, L.J. 📂 Article 📅 1991 🏛 IEEE 🌐 English ⚖ 226 KB