Formal specification of Distributed Information Systems

Research output: Contribution to conferencePaper

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.