Benedikt Bollig, Martin Leucker, Thomas Noll
Generalised Regular MSC Languages
FoSSaCS, 2002.
@inproceedings{FoSSaCS-2002-BolligLN,
author = "Benedikt Bollig and Martin Leucker and Thomas Noll",
booktitle = "{Proceedings of the Fifth International Conference on Foundations of Software Science and Computation Structures}",
doi = "10.1007/3-540-45931-6_5",
isbn = "3-540-43366-X",
pages = "52--66",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Generalised Regular MSC Languages}",
volume = 2303,
year = 2002,
}