Patrik Ernberg

Publication Activity (10 Years)

Years Active: 1991-1992
Publications (10 Years): 0

Publications

Patrik Ernberg, Thomas Hovander, Francisco Monfort
Specification and implementation of an ISDN telephone system using LOTOS. FORTE (1992)
Patrik Ernberg, Lars-Åke Fredlund, Bengt Jonsson
Specification and Validation of a Simple Overtaking Protokol using LOTOS. FORTE (1991)