%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Karsten Strehl",
%%%     version         = "1.03",
%%%     date            = "25 November 2011",
%%%     time            = "16:12:09 MDT",
%%%     filename        = "strehl-karsten.bib",
%%%     address         = "
%%%                        ",
%%%     telephone       = "?n/a?",
%%%     FAX             = "?n/a?",
%%%     checksum        = "27334 204 895 8866",
%%%     email           = "strehl at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a bibliography of publications of
%%%                        Karsten Strehl.  The companion LaTeX file
%%%                        strehl-karsten.ltx can be used to typeset
%%%                        this bibliography.
%%%
%%%                        At version 1.03, the year coverage looked
%%%                        like this:
%%%
%%%                             1993 (   1)    1996 (   1)    1999 (   3)
%%%                             1994 (   0)    1997 (   1)
%%%                             1995 (   0)    1998 (   4)
%%%
%%%                             Book:             1
%%%                             InProceedings:    3
%%%                             MastersThesis:    1
%%%                             TechReport:       5
%%%
%%%                             Total entries:   10
%%%
%%%                        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.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

@Book{Strehl:1993:FEP,
  author =       "Karsten Strehl",
  title =        "Fields. {{\em A program for the calculation and
                 simulation of particle trajectories}}",
  publisher =    "CoMet, Publishers for Educational Software, Duisburg,
                 later: Cornelsen Software, Berlin",
  year =         "1993",
  ISBN =         "3-89418-717-4",
  ISBN-13 =      "978-3-89418-717-0",
  bibdate =      "Tue Dec 22 10:35:58 1998",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib",
}

@TechReport{Strehl:1996:DIC,
  author =       "Karsten Strehl",
  title =        "Design and Implementation of the Coupling of the
                 {CASE} Tool {Statemate} to the Cosimulation Environment
                 {SimBa}",
  type =         "Term paper",
  institution =  "Electronic Systems and Microsystems (ESM) Research
                 Department, Computer Science Research Center (FZI),
                 Karlsruhe, and Institute for Information Processing
                 Technology (ITIV), University of Karlsruhe",
  month =        jul,
  year =         "1996",
  bibdate =      "Tue Dec 22 10:36:00 1998",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib",
}

@MastersThesis{Strehl:1997:DIP,
  author =       "Karsten Strehl",
  title =        "Design and Implementation of a Predictive, Optimistic
                 Synchronization Kernel for the Cosimulation Environment
                 {SimBa}",
  type =         "Diploma thesis",
  school =       "Electronic Systems and Microsystems (ESM) Research
                 Department, Computer Science Research Center (FZI),
                 Karlsruhe, and Institute for Information Processing
                 Technology (ITIV), University of Karlsruhe",
  month =        mar,
  year =         "1997",
  bibdate =      "Tue Dec 22 10:36:00 1998",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib",
}

@TechReport{Strehl:1998:SMCa,
  author =       "Karsten Strehl and Lothar Thiele",
  title =        "Symbolic Model Checking Using Interval Diagram
                 Techniques",
  type =         "Technical Report",
  number =       "40",
  institution =  "Computer Engineering and Networks Lab (TIK), Swiss
                 Federal Institute of Technology (ETH) Zurich",
  address =      "Gloriastrasse 35, CH-8092 Zurich",
  month =        feb,
  year =         "1998",
  bibdate =      "Tue Dec 22 10:36:00 1998",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib",
}

@InProceedings{Strehl:1998:SMCb,
  author =       "Karsten Strehl and Lothar Thiele",
  booktitle =    "Proceedings of the IEEE/ACM International Conference
                 on Computer-Aided Design (ICCAD-98)",
  title =        "Symbolic Model Checking of Process Networks Using
                 Interval Diagram Techniques",
  address =      "San Jose, California",
  pages =        "686--692",
  month =        nov # " 8--12,",
  year =         "1998",
  bibdate =      "Tue Dec 22 10:36:00 1998",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib",
}

@TechReport{Strehl:1998:UID,
  author =       "Karsten Strehl",
  title =        "Using Interval Diagram Techniques for the Symbolic
                 Verification of Timed Automata",
  type =         "Technical Report",
  number =       "53",
  institution =  "Computer Engineering and Networks Lab (TIK), Swiss
                 Federal Institute of Technology (ETH) Zurich",
  address =      "Gloriastrasse 35, CH-8092 Zurich",
  month =        jul,
  year =         "1998",
  bibdate =      "Tue Dec 22 10:36:00 1998",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib",
}

@TechReport{Thiele:1998:SSM,
  author =       "Lothar Thiele and J{\"u}rgen Teich and Martin Naedele
                 and Karsten Strehl and Dirk Ziegenbein",
  title =        "{SCF}---State Machine Controlled Flow Diagrams",
  type =         "Technical Report",
  number =       "33",
  institution =  "Computer Engineering and Networks Lab (TIK), Swiss
                 Federal Institute of Technology (ETH) Zurich",
  address =      "Gloriastrasse 35, CH-8092 Zurich",
  month =        jan,
  year =         "1998",
  bibdate =      "Tue Dec 22 10:36:00 1998",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib",
}

@InProceedings{Strehl:1999:IDT,
  author =       "Karsten Strehl and Lothar Thiele",
  booktitle =    "Proceedings of the Design, Automation and Test in
                 Europe Conference (DATE99)",
  title =        "Interval Diagram Techniques for Symbolic Model
                 Checking of {Petri} nets",
  address =      "Munich, Germany",
  month =        mar # " 9--12,",
  year =         "1999",
  bibdate =      "Tue Dec 22 10:36:00 1998",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib",
}

@TechReport{Strehl:1999:SHSa,
  author =       "Karsten Strehl and Lothar Thiele and Dirk Ziegenbein
                 and Rolf Ernst",
  title =        "Scheduling Hardware\slash Software Systems Using Symbolic
                 Techniques",
  type =         "Technical Report",
  number =       "TIK-67",
  institution =  "Computer Engineering and Networks Lab (TIK), Swiss
                 Federal Institute of Technology (ETH) Zurich",
  address =      "Gloriastrasse 35, CH-8092 Zurich",
  month =        Jan,
  year =         "1999",
  bibdate =      "Tue Feb 19 19:50:00 1999",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib",
}

@InProceedings{Strehl:1999:SHSb,
  author =       "Karsten Strehl and Lothar Thiele and Dirk Ziegenbein
                 and Rolf Ernst",
  booktitle =    "Proceedings of the 7th International Workshop on
                 Hardware/Software Codesign (CODES'99), Rome, Italy,
                 3--5 May, 1999",
  title =        "Scheduling Hardware\slash Software Systems Using Symbolic
                 Techniques",
  publisher =    "????",
  address =      "????",
  pages =        "??--??",
  year =         "1999",
  ISBN =         "????",
  LCCN =         "????",
  bibdate =      "Tue Feb 19 19:50:00 1999",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib",
}