KMODEL

KMODEL

An ancestor of Model-K. "Preliminary Results on the BEHAVIOURSpecifications Language KMODEL-0", BEHAVIOUR Memo 5-91, 1991,GMD, Sankt Augustin, Germany