A computational tool that supports formal diagnosis of process design

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

Cite this

@article{5877378a50354d439268a642feee2ee4,

title = "A computational tool that supports formal diagnosis of process design",

author = "P. Ramos and J.L. Fiadeiro",

year = "1998",

month = oct,

day = "15",

language = "English",

volume = "40",

pages = "555--565",

journal = "Information and Software Technology",

issn = "0950-5849",

publisher = "Elsevier",

number = "10",

}

TY - JOUR

T1 - A computational tool that supports formal diagnosis of process design

AU - Ramos, P.

AU - Fiadeiro, J.L.

PY - 1998/10/15

Y1 - 1998/10/15

UR - http://www.scopus.com/inward/record.url?scp=0032181760&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0032181760

SN - 0950-5849

VL - 40

SP - 555

EP - 565

JO - Information and Software Technology

JF - Information and Software Technology

IS - 10

ER -