Poul Bøgh Lassen
According to our database1,
Poul Bøgh Lassen
authored at least 5 papers
between 1991 and 1994.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1994
ACM SIGPLAN Notices, 1994
IFAD VDM-SL Toolbox.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994
1993
1992
Microprocess. Microprogramming, 1992
1991
Proceedings of the VDM '91, 1991