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

Published

Standard

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

Harvard

Ramos, P & Fiadeiro, JL 1998, 'A computational tool that supports formal diagnosis of process design', Information and Software Technology, vol. 40, no. 10, pp. 555-565.

APA

Ramos, P., & Fiadeiro, J. L. (1998). A computational tool that supports formal diagnosis of process design. Information and Software Technology, 40(10), 555-565.

Vancouver

Ramos P, Fiadeiro JL. A computational tool that supports formal diagnosis of process design. Information and Software Technology. 1998 Oct 15;40(10):555-565.

Author

Ramos, P. ; Fiadeiro, J.L. / A computational tool that supports formal diagnosis of process design. In: Information and Software Technology. 1998 ; Vol. 40, No. 10. pp. 555-565.

BibTeX

@article{5877378a50354d439268a642feee2ee4,
title = "A computational tool that supports formal diagnosis of process design",
author = "P. Ramos and J.L. Fiadeiro",
note = "Copyright 2004 Elsevier Science B.V., Amsterdam. All rights reserved.",
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",

}

RIS

TY - JOUR

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

AU - Ramos, P.

AU - Fiadeiro, J.L.

N1 - Copyright 2004 Elsevier Science B.V., Amsterdam. All rights reserved.

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

VL - 40

SP - 555

EP - 565

JO - Information and Software Technology

JF - Information and Software Technology

SN - 0950-5849

IS - 10

ER -

Find an expert

Computer Science home
Research
Profile
Researchers
Publications
Projects