Formal specification of Distributed Information Systems

Research output: Contribution to conferencePaperAcademic

Original languageEnglish
Publication statusPublished - 6 Jun 1994
Event6th International Conference on Advanced Information Systems Engineering, CAiSE 1994 - Utrecht, Netherlands
Duration: 6 Jun 199410 Jun 1994
Conference number: 6

Conference

Conference6th International Conference on Advanced Information Systems Engineering, CAiSE 1994
Abbreviated titleCAiSE
CountryNetherlands
CityUtrecht
Period6/06/9410/06/94

Keywords

  • METIS-123645

Cite this

Vis, J., Brinksma, H., & de By, R. A. (1994). Formal specification of Distributed Information Systems. Paper presented at 6th International Conference on Advanced Information Systems Engineering, CAiSE 1994, Utrecht, Netherlands.
Vis, J. ; Brinksma, Hendrik ; de By, R.A. / Formal specification of Distributed Information Systems. Paper presented at 6th International Conference on Advanced Information Systems Engineering, CAiSE 1994, Utrecht, Netherlands.
@conference{d55cd754ca0c42478eb3cda2faf8ce1f,
title = "Formal specification of Distributed Information Systems",
keywords = "METIS-123645",
author = "J. Vis and Hendrik Brinksma and {de By}, R.A.",
note = "Extended position paper ; 6th International Conference on Advanced Information Systems Engineering, CAiSE 1994, CAiSE ; Conference date: 06-06-1994 Through 10-06-1994",
year = "1994",
month = "6",
day = "6",
language = "English",

}

Vis, J, Brinksma, H & de By, RA 1994, 'Formal specification of Distributed Information Systems' Paper presented at 6th International Conference on Advanced Information Systems Engineering, CAiSE 1994, Utrecht, Netherlands, 6/06/94 - 10/06/94, .

Formal specification of Distributed Information Systems. / Vis, J.; Brinksma, Hendrik; de By, R.A.

1994. Paper presented at 6th International Conference on Advanced Information Systems Engineering, CAiSE 1994, Utrecht, Netherlands.

Research output: Contribution to conferencePaperAcademic

TY - CONF

T1 - Formal specification of Distributed Information Systems

AU - Vis, J.

AU - Brinksma, Hendrik

AU - de By, R.A.

N1 - Extended position paper

PY - 1994/6/6

Y1 - 1994/6/6

KW - METIS-123645

M3 - Paper

ER -

Vis J, Brinksma H, de By RA. Formal specification of Distributed Information Systems. 1994. Paper presented at 6th International Conference on Advanced Information Systems Engineering, CAiSE 1994, Utrecht, Netherlands.