Preben Folkjär

Publication Activity (10 Years)

Years Active: 1980-1980
Publications (10 Years): 0

Publications

Preben Folkjär, Dines Bjørner
A Formal Model of a Generalized CSP-like Language. IFIP Congress (1980)