![](/img/cover-not-exists.png)
[IEEE 2017 12th Iberian Conference on Information Systems and Technologies (CISTI) - Lisbon, Portugal (2017.6.21-2017.6.24)] 2017 12th Iberian Conference on Information Systems and Technologies (CISTI) - Formal verification of business processes as timed automata
Morales, Luis E. Mendoza, Monsalve, Carlos, Villavicencio, MonicaYear:
2017
Language:
english
DOI:
10.23919/CISTI.2017.7975770
File:
PDF, 501 KB
english, 2017