BibTeX records of recent publications by Rick van Rein

@inproceedings {
        caise00,
        author = "Rick van Rein",
        title = "Specifying Processes with Dynamic Life Cycles",
        booktitle = "Proceedings of the {CAiSE*00} conference",
        year = "2000",
}

@inproceedings
 {
   woi99,
   author = "Vallecio, A. and Hern\'andez, J. and Troya, J.M.",
   title = "Object Interoperability",
   booktitle = "Object-Oriented Technology: ECOOP'99 Workshop Reader",
   year = "1999",
   publisher = "Springer",
   pages = "1-21",
   volume = "1743",
   series = "LNCS",
 }

@article
 {
   fmoods99,
   title = "Protocol Assuring Universal Language",
   author = "Rein, R. van and Fokkinga, M.",
   year = "1999",
   institution = "University of Twente, Faculty of Computer Science",
   journal = "Formal Methods for Open Object-Based Distributed Systems",
   publisher = "Kluwer Academic Publishers",
   pages = "241--258",
   url = "ftp://ftp.cs.utwente.nl/pub/doc/Quantum/Paul.ps"
 }

download, software.