Main Page | See live article | Alphabetical index An ancestor of Model-K. "Preliminary Results on the BEHAVIOUR Specifications Language KMODEL-0", BEHAVIOUR Memo 5-91, 1991, GMD, Sankt Augustin, Germany. This article (or an earlier version of it) contains material from FOLDOC, used with permission. This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.