The Light Control Case Study
of the Journal of Universal Computer Science
Martin Kronenburg
Research Group Formal Methods and Deduction kronburg@informatik.uni-kl.de |
Christian Peper
Research Group Computer Networks peper@informatik.uni-kl.de |
University of Kaiserslautern