next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Contents

Problem Specification of

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



September 6, 2000



 

Forest-System
2000-09-06