SMT-Based Reachability Checking for Bounded Time Petri Nets.
| Autor: | Półrola, Agata1 polrola@math.uni.lodz.pl, Cybula, Piotr1 cybula@math.uni.lodz.pl, Męski, Artur |
|---|---|
| Zdroj: | Fundamenta Informaticae. 2014, Vol. 135 Issue 4, p467-482. 16p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|