Transforming Linear Terms of Algebraic Specifications Into Extended Pomsets.
Title | Transforming Linear Terms of Algebraic Specifications Into Extended Pomsets. |
Publication Type | Journal Article |
Year of Publication | 2006 |
Authors | Dölle, B |
Bibtex:
@article {570, title = {Transforming Linear Terms of Algebraic Specifications Into Extended Pomsets.}, year = {2006}, note = {In: Y.-T. Song, C. Lu, R. Lee (eds.): Proceedings of the Seventh International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD{\textquoteright}06). Las Vegas, Nevada, June 19-20, 2006. Los Alamitos, CA: IEEE Computer Society 2006, 57-64 [ISBN 0-7695-2611-X]}, author = {B. D{\"o}lle} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Phillip Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact