| | Home | | Journals | | Books | | Paper submission | | About us and our mission | | News | | Contact us | | |
|
APPLIED MATHEMATICAL SCIENCES ISSN 1312-885X (print) ISSN 1314-7552 (online) |
|
|
Manuel Mazzara LTL-based verification of reconfigurable workflows Applied Mathematical Sciences, Vol. 8, 2014, no. 172, 8581-8600 http://dx.doi.org/10.12988/ams.2014.410816 Copyright © 2014 Manuel Mazzara. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. |
| Journals | | Books | | Indexing and abstracting | | Author guidelines | | Open access |