Daniel Gajski, Eugenio Villar, Wolfgang Rosenstiel, Vassilios Gerousis, D. Barton, J. Plantin, S. E. Ericsson, Patrizia Cavalloro, Gjalt G. de Jong
C/C++: progress or deadlock in system-level specification
DATE, 2001.
@inproceedings{DATE-2001-GajskiVRGBPECJ,
author = "Daniel Gajski and Eugenio Villar and Wolfgang Rosenstiel and Vassilios Gerousis and D. Barton and J. Plantin and S. E. Ericsson and Patrizia Cavalloro and Gjalt G. de Jong",
booktitle = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}",
doi = "10.1145/367072.367120",
isbn = "0-7695-0993-2",
pages = "136--137",
publisher = "{ACM}",
title = "{C/C++: progress or deadlock in system-level specification}",
year = 2001,
}
Tags:
