@InProceedings{Klebanov05,
author = {Vladimir Klebanov and Philipp R\"{u}mmer and Steffen Schlager
and Peter H. Schmitt},
editor = {Jan F. Broenink and
Herman W. Roebbers and
Johan P. E. Sunter and
Peter H. Welch and
David C. Wood},
title = {Verification of {JCSP} Programs},
booktitle = {28th WoTUG Conference on Communicating Process Architectures (CPA 2005)},
series = {Concurrent Systems Engineering Series},
volume = {63},
publisher = {{IOS} Press},
year = {2005}
}
Verification of JCSP Programs
| Autor(en): | Vladimir Klebanov, Philipp Rümmer, Steffen Schlager und Peter H. Schmitt |
|---|---|
| In: | 28th WoTUG Conference on Communicating Process Architectures (CPA 2005) |
| Verleger: | IOS Press |
| Reihe: | Concurrent Systems Engineering Series |
| Band: | 63 |
| Jahr: | 2005 |