On Implementing S-Net.
Title | On Implementing S-Net. |
Publication Type | Journal Article |
Year of Publication | 2007 |
Authors | Grelck, C, Penczek, F |
Bibtex:
@article {506, title = {On Implementing S-Net.}, year = {2007}, note = {In: O. Chitil (ed.): Proceedings of the 19th International Symposium on Implementation and Application of Functional Laguages (IFL{\textquoteright}07). Freiburg, Germany, September 27-29, 2007, pp. 531-533. University of Kent, Computing Laboratory, Canterbury, England, UK, Technical Report 12-07, 2007.}, author = {Grelck, C. and Penczek, F.} }
- 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