Ulrich Nitsche <nitsche @ ifi . unizh . ch> (email mangled to prevent spamming)
University of Zurich Department of Computer Science Winterthurer Str. 190 CH-8057 Zurich Switzerland
Abstract:
This is a bibliography of publications of Ulrich Nitsche. The companion LaTeX file nitsche-ulrich.ltx can be used to typeset this bibliography.
Keywords:
Formal Methods, Verification,
Author Comments:
At version 1.02, the year coverage looked like this: 1988 ( 1) 1992 ( 0) 1996 ( 11) 1989 ( 0) 1993 ( 0) 1997 ( 11) 1990 ( 0) 1994 ( 6) 1998 ( 3) 1991 ( 2) 1995 ( 3) 19xx ( 1) Article: 3 InProceedings: 17 Misc: 1 PhdThesis: 1 Proceedings: 7 TechReport: 9 Total entries: 38 This file is available as part of the BibNet Project. The master copy is available for public access on ftp.math.utah.edu in the directory tree /pub/bibnet/authors. It is mirrored to netlib.bell-labs.com in the directory tree /netlib/bibnet/authors, from which it is available via anonymous ftp and the Netlib service.
