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 journal › Article › peer-review
Original language | English |
---|---|
Pages (from-to) | 555-565 |
Number of pages | 11 |
Journal | Information and Software Technology |
Volume | 40 |
Issue number | 10 |
Publication status | Published - 15 Oct 1998 |
ID: 7189439