dblp.uni-trier.dewww.uni-trier.de

Nico Plat (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett: The Future of Formal Methods in Industry. ZUM 1995: 237-242

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

Copyright © 2009-12-04 by Michael Ley (ley@uni-trier.de)