Publié le : 2014-01-01
PLDML-ID :
bwmeta1.element.bwnjournal-article-amcv24z4p941bwm
@article{urn:eudml:doc:262451,
author = {Rados\l aw Klimek},
title = {A system for deduction-based formal verification of workflow-oriented software models},
journal = {International Journal of Applied Mathematics and Computer Science},
volume = {24},
year = {2014},
pages = {941-956},
language = {en},
url = {http://dml.mathdoc.fr/item/urn:eudml:doc:262451}
}
Radosław Klimek. A system for deduction-based formal verification of workflow-oriented software models. International Journal of Applied Mathematics and Computer Science, Tome 24 (2014) pp. 941-956. http://gdmltest.u-ga.fr/item/urn:eudml:doc:262451/