Technical Reports

1. An Automated Analysis Of Process Interference Verified With LTL Checking (N. R. T. P. Van Beest, D. Bucur, J. C. Wortmann and A. Lazovik), Technical report 2013-08-07, University of Groningen, 2013.

   BibTeX

   
   @techreport{vanbeest2013:analysis, title = {An Automated Analysis Of Process Interference Verified With {LTL} Checking}, author = {N. R. T. P. Van Beest and D. Bucur and J. C. Wortmann and A. Lazovik}, institution = {University of Groningen}, number = {2013-08-07}, year = {2013}, type = {Technical Report}, url = {http://www.cs.rug.nl/~doina/TR/TR-2013-08-07.pdf}, }

   ---

   url
2. Optimizing Offices for the Smart Grid (I. Georgievski, V. Degeler, G. A. Pagani, T. A. Nguyen, A. Lazovik and M. Aiello), Technical report JBI 2011-12-01, University of Groningen, 2011.

   BibTeX

   
   @techreport{georgievski2011:rugopt, author = {I. Georgievski and V. Degeler and G. A. Pagani and T. A. Nguyen and A. Lazovik and M. Aiello}, title = {Optimizing Offices for the Smart Grid}, institution = {University of Groningen}, year = {2011}, number = {JBI 2011-12-01}, url = {http://www.cs.rug.nl/~georgievski/pubs/opthect.pdf}, type = {Technical Report}, month = {nov}, }

   ---

   url
3. Using CSP for Adaptable Web Service Composition (E. Kaldeli), Technical report JBI 2009-7-01, University of Groningen, 2009.

   BibTeX

   
   @techreport{kaldeli2009:rep, author = {E. Kaldeli}, title = {Using CSP for Adaptable Web Service Composition}, institution = {University of Groningen}, year = {2009}, number = {JBI 2009-7-01}, url = {http://www.cs.rug.nl/~eirini/papers/tech_rep_09-7-01.pdf}, type = {Technical Report}, month = {jul}, }

   ---

   url