Search the dblp DataBase

Publications of Author

1. Peter Gorm Larsen, Nico Plat
   Standards for Non- Executable Specification Languages. [Citation Graph (1, 0)][DBLP]
   Comput. J., 1992, v:35, n:6, pp:567-573 [Journal]
   
2. Peter Gorm Larsen, Nico Plat, Hans Toetenel
   A Formal Semantics of Data Flow Diagrams. [Citation Graph (1, 0)][DBLP]
   Formal Asp. Comput., 1994, v:6, n:6, pp:586-606 [Journal]
   
3. Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel
   Type Checking BSI/VDM-SL. [Citation Graph (0, 0)][DBLP]
   VDM Europe, 1990, pp:399-425 [Conf]
   
4. Nico Plat, Jan van Katwijk, Kees Pronk
   A Case for Structured Analysis/Formal Design. [Citation Graph (0, 0)][DBLP]
   VDM Europe (1), 1991, pp:81-105 [Conf]
   
5. Nico Plat, Kees Pronk, Marcel Verhoef
   The Delft VDM-SL Front-End. [Citation Graph (0, 0)][DBLP]
   VDM Europe (1), 1991, pp:677-680 [Conf]
   
6. Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett
   The Future of Formal Methods in Industry. [Citation Graph (0, 0)][DBLP]
   ZUM, 1995, pp:237-242 [Conf]
   
7. B. Tim Denvir, José Nuno Oliveira, Nico Plat
   The Cash-Point (ATM) `Problem'. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2000, v:12, n:4, pp:211-215 [Journal]
   
8. Nico Plat, Peter Gorm Larsen
   An overview of the ISO/VDM-SL standard. [Citation Graph (0, 0)][DBLP]
   SIGPLAN Notices, 1992, v:27, n:8, pp:76-82 [Journal]
   
9. Peter van der Spek, Nico Plat, Cornelis Pronk
   Syntax error repair for a Java-based parser generator. [Citation Graph (0, 0)][DBLP]
   SIGPLAN Notices, 2005, v:40, n:4, pp:47-50 [Journal]