Specifying internet applications with DiCons

  • Authors:
  • J. C. M. Baeten;H. M. A. van Beek;S. Mauw

  • Affiliations:
  • Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;Eindhoven Embedded, Systems Institute (EESI), Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands

  • Venue:
  • Proceedings of the 2001 ACM symposium on Applied computing
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract