A computational tool that supports formal diagnosis of process design

P. Ramos, J.L. Fiadeiro

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)555-565
Number of pages11
JournalInformation and Software Technology
Volume40
Issue number10
Publication statusPublished - 15 Oct 1998

Cite this