BibTeX Entries

@article{Schmid01b,
  author    = {J. Schmid},
  title     = {Compiling Abstract State Machines to C++},
  editor    = {E. B{\"o}rger and U. Gl{\"a}sser},
  journal   = {Journal of Universal Computer Science},
  volume    = {7},
  number    = {11},
  year      = {2001}
}

@InProceedings{Schmid01a,
  author    = {J. Schmid},
  title     = {Compiling Abstract State Machines to C++},
  booktitle = {Formal Methods and Tools for Computer Science, Eurocast},
  publisher = {Universidad de Las Palmas de Gran Canaria},
  year      = {2001},
  editor    = {R. Moreno-D{\`\i}az and A. Quesanda-Arencibia},
  note      = {Extended Abstract}
}

@InProceedings{StaSch01,
  author    = {R. F. St{\"a}rk, J. Schmid},
  title     = {Java bytecode verification is not possible},
  booktitle = {Formal Methods and Tools for Computer Science, Eurocast},
  publisher = {Universidad de Las Palmas de Gran Canaria},
  year      = {2001},
  editor    = {R. Moreno-D{\`\i}az and A. Quesanda-Arencibia},
  note      = {Extended Abstract}
}

@Book{SSB01,
   author    = {R. F. St{\"a}rk and J. Schmid and E. B{\"o}rger},
   title     = {Java and the Java Virtual Machine: Definition, Verification and Validation},
   publisher = {Springer-Verlag},
   year      = {2001}
}

@manual{Schmid01c,
   author    = {J. Schmid},
   title     = {Introduction to {A}sm{G}ofer},
   year      = {2001}
}

@techreport{StaSch00,
  author    =   {R. St{\"a}rk and J. Schmid},
  title     =   {The problem of Bytecode Verification
                 in Current Implementations of the {JVM}},
  insitution=   {ETH Z{\"u}rich},
  year      =   {2000}
}

@InProceedings{BoeSch00,
  author    =   {E. B\"orger and J. Schmid},
  title     =   {Composition and Submachine Concepts},
  booktitle =   {Computer Science Logic (CSL 2000)},
  series    =   {Lecture Notes in Computer Science},
  editor    =   {P. G. Clote and H. Schwichtenberg},
  number    =   {1862},
  pages     =   {41--60},
  publisher =   {Springer-Verlag},
  year      =   {2000}
}

@InProceedings{BPS00,
  author = 	 {E. B\"orger and P. P\"appinghaus and J. Schmid},
  title  =       {Report on a Practical Application of {ASMs} in Software Design},
  editor =       {Y. Gurevich and P. Kutter and M. Odersky and L. Thiele},
  booktitle =    {Abstract State Machines},
  series =	 {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
  number =       {1912},
  year =	 {2000}
}

@Article{BRS00,
  author =       {E. B\"orger and E. Riccobene and J. Schmid},
  title =        {Capturing Requirements by {A}bstract {S}tate {M}achines: The {L}ight {C}ontrol Case Study},
  journal =      {Journal of Universal Computer Science},
  volume =       {6},
  number =       {7},
  year =         {2000}
}