A computational tool that supports formal diagnosis of process design. / Ramos, P.; Fiadeiro, J.L.

In: Information and Software Technology, Vol. 40, No. 10, 15.10.1998, p. 555-565.

Research output: Contribution to journalArticlepeer-review

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

ID: 7189439