Supporting decision making on the information infrastructure with a formal specification tool

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

64 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the Second International Conference of the Strategic Information Systems Network, Barcelona 25-28 september 1994
Place of Publication	Barcelona
Publisher	Universidad de Navarra
Publication status	Published - 1994

Access to Document

@inproceedings{5b7a7a0aa3544f70b4beaf74eab0c172,

title = "Supporting decision making on the information infrastructure with a formal specification tool",

author = "\{van den Berg\}, R.J.",

year = "1994",

language = "English",

booktitle = "Proceedings of the Second International Conference of the Strategic Information Systems Network, Barcelona 25-28 september 1994",

publisher = "Universidad de Navarra",

}

Supporting decision making on the information infrastructure with a formal specification tool. / van den Berg, R.J.
Proceedings of the Second International Conference of the Strategic Information Systems Network, Barcelona 25-28 september 1994. Barcelona: Universidad de Navarra, 1994.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review