Distributed Systems > CS > JBI > FWN > RUG

Technical Reports


N. R. T. P. Van Beest, D. Bucur, J. C. Wortmann, and A. Lazovik (2013) An Automated Analysis Of Process Interference Verified With LTL Checking. Technical Report 2013-08-07, University of Groningen.   url
bib
H. Groefsema, P. Bulanov, and M. Aiello (2012) Imperative versus Declarative Process Variability: Why Choose?. Technical Report JBI 2011-12-6, University of Groningen, December 2012.   url
bib
I. Georgievski, V. Degeler, G. A. Pagani, T. A. Nguyen, A. Lazovik, and M. Aiello (2011) Optimizing Offices for the Smart Grid. Technical Report JBI 2011-12-01, University of Groningen, November 2011.   url
bib
E. Kaldeli (2009) Using CSP for Adaptable Web Service Composition. Technical Report JBI 2009-7-01, University of Groningen, July 2009.   url
bib