Nico Plat (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Peter Gorm Larsen, Nico Plat, Hans Toetenel: A Formal Semantics of Data Flow Diagrams. Formal Asp. Comput. 6(6): 586-606 (1994)

5 Peter Gorm Larsen, Nico Plat: Standards for Non- Executable Specification Languages. Comput. J. 35(6): 567-573 (1992)

4 Nico Plat, Peter Gorm Larsen: An overview of the ISO/VDM-SL standard. SIGPLAN Notices 27(8): 76-82 (1992)

Selection of 3 from 9 records - Nico Plat has 14 coauthors

6		Peter Gorm Larsen, Nico Plat, Hans Toetenel: A Formal Semantics of Data Flow Diagrams. Formal Asp. Comput. 6(6): 586-606 (1994)
5		Peter Gorm Larsen, Nico Plat: Standards for Non- Executable Specification Languages. Comput. J. 35(6): 567-573 (1992)
4		Nico Plat, Peter Gorm Larsen: An overview of the ISO/VDM-SL standard. SIGPLAN Notices 27(8): 76-82 (1992)