Bernd J. Krämer
SEGRAS — A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems
ICSE, 1987.
@inproceedings{ICSE-1987-Kramer,
acmid = "41778",
author = "Bernd J. Krämer",
booktitle = "{Proceedings of the Ninth International Conference on Software Engineering}",
editor = "William E. Riddle and Robert M. Balzer and Kouichi Kishida",
isbn = "0-89791-216-0",
pages = "116--125",
publisher = "{ACM Press}",
title = "{SEGRAS — A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems}",
year = 1987,
}