Extending Compositional Message Sequence Graphs
| Title | Extending Compositional Message Sequence Graphs |
| Publication Type | Conference Paper |
| Year of Publication | 2002 |
| Authors | Benedikt Bollig, Leucker, M, Lucas, P |
| Editor | Baaz, M, Voronkov, A |
| Conference Name | Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning ({LPAR'02}) |
| Series | Lecture Notes in Artificial Intelligence |
| Volume | 2514 |
| Publisher | Springer |
Bibtex:
@inproceedings {BolligLeuckerLucas02b,
title = {Extending Compositional Message Sequence Graphs},
booktitle = {Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning ({LPAR{\textquoteright}02})},
series = {Lecture Notes in Artificial Intelligence},
volume = {2514},
year = {2002},
pages = {68{\textendash}85},
publisher = {Springer},
organization = {Springer},
author = {Benedikt Bollig and Martin Leucker and Philipp Lucas},
editor = {Matthias Baaz and Andrei Voronkov}
}PDF:
Postscript:
