• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Research Output

Filter
Conference contribution
2006

Compositionality of security protocols : a research agenda

Cremers, C. J. F., 2006, Proceedings of the First International Workshop on Views on Designing Complex Architectures (VODCA 2004, Bertinoro, Italy, September 11-12, 2004). Beek, ter, M. & Gadducci, F. (eds.). p. 99-110 (Electronic Notes in Theoretical Computer Science; vol. 142(3)).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)

Conditionals in algebraic process calculi

Middelburg, C. A., 2006, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005). Aceto, L. & Gordon, A. D. (eds.). p. 237-241 (Electronic Notes in Theoretical Computer Science; vol. 162).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

Cooperation-based invariants for OO languages

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2006, Proceedings of the 2nd International Workshop on Formal Aspects of Component Software (FACS'05, Macao, October 24-25, 2005). Liu, Z. & Barbosa, L. (eds.). p. 225-237 (Electronic Notes in Theoretical Computer Science; vol. 160).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Deriving simulators for hybrid Chi models

Beek, van, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2006, Proceedings 2006 IEEE International Symposium on Computer-Aided Control Systems Design (CACSD, Munich, Germany, October 4-6, 2006). Institute of Electrical and Electronics Engineers, p. 42-49

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

Discretization of timed automata in Timed µCRL à la regions and zones

Groote, J. F., Reniers, M. A. & Usenko, Y. S., 2006, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005). Aceto, L. & Gordon, A. D. (eds.). p. 197-202 (Electronic Notes in Theoretical Computer Science; vol. 162).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Distributed extended beam search for quantitative model checking

Wijs, A. J. & Lisser, B., 2006, Proceedings of the 4th Workshop on Model Checking and Artificial Intelligence. Edelkamp, S. & Lomuscio, A. (eds.). Heidelberg: Springer, p. 166-184 (Lecture Notes in Artificial Intelligence; vol. 4428).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)

Embedding real time in stochastic process algebras

Markovski, J. & Vink, de, E. P., 2006, Formal Methods and Stochastic Models for Performance Evaluation (Proceedings 3rd European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006). Horváth, A. & Telek, M. (eds.). Berlin: Springer, p. 47-62 (Lecture Notes in Computer Science; vol. 4054).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Evolution on-the-fly with Paradigm

Groenewegen, L. P. J. & Vink, de, E. P., 2006, Coordination Models and Languages (Proceedings 8th International Conference, Coordination 2006, Bologna, Italy, June 14-16, 2006). Ciancarini, P. & Wiklicky, H. (eds.). Berlin: Springer, p. 97-112 (Lecture Notes in Computer Science; vol. 4038).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Citations (Scopus)

Feasibility of multi-protocol attacks

Cremers, C. J. F., 2006, Proceedings of the First International Conference in Availability, Reliability and Security (ARES, Vienna, Austria, April 20-22, 2006). IEEE Computer Society, p. 287-294

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

25 Citations (Scopus)

Formalising receipt-freeness

Jonker, H. L. & Vink, de, E. P., 2006, Information Security (Proceedings 9th International Conference, ISC 2006, Samos, Greece, August 30-September 2, 2006). Katsikas, S. K., Lopez, J., Backes, M., Gritzalis, S. & Preneel, B. (eds.). Berlin: Springer, p. 476-488 (Lecture Notes in Computer Science; vol. 4176).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

30 Citations (Scopus)
3 Downloads (Pure)

Formal verification of Chi models using PHAVer (extended version)

Beek, van, D. A., Man, K. L., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2006, Proceedings of the 5th MATHMOD Conference (Vienna, Austria, February 8-10, 2006), CD-ROM. Troch, I. & Breitenecker, F. (eds.). Vienna: ARGESIM

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Downloads (Pure)

Formal verification of SystemC^FL specifications using model checker SPIN

Man, K. L., 2006, Proceedings of the 5th WSEAS International Conference on Microelectronics, Nanoelectronics, Optoelectronics (MINO'06, Prague, Czech Republic, March 12-14, 2006). p. ...-...

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Forward secure communication in wireless sensor networks

Mauw, S., Vessem, van, I. & Bos, B., 2006, Security in Pervasive Computing (Proceedings of the Third International Conference, SPC'06, York, UK, April 18-21, 2006). Clark, J. A. & et al., X. (eds.). Berlin: Springer, p. 32-42 (Lecture Notes in Computer Science; vol. 3934).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)

Foundations of attack trees

Mauw, S. & Oostdijk, M. D., 2006, Information Security and Cryptology - ICISC 2005 (8th International Conference, Seoul, Korea, December 1-2, 2005, Revised selected papers). Won, D. & Kim, S. (eds.). Berlin: Springer, p. 186-198 (Lecture Notes in Computer Science; vol. 3935).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

251 Citations (Scopus)

From µCRL to mCRL2 : motivation and outline

Groote, J. F., Mathijssen, A. H. J., Weerdenburg, van, M. J. & Usenko, Y. S., 2006, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005). Aceto, L. & Gordon, A. D. (eds.). p. 191-196 (Electronic Notes in Theoretical Computer Science; vol. 162).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

14 Citations (Scopus)
1 Downloads (Pure)

Hybrid input-output conformance and test generation

Osch, van, M. P. W. J., 2006, Formal Approaches to Testing and Runtime Verification (First Combined International Workshops FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006, Revised selected papers). Havelund, K., Núñez, M., Rosu, G. & Wolff, B. (eds.). Berlin: Springer, p. 70-84 (Lecture Notes in Computer Science; vol. 4262).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

22 Citations (Scopus)

Lumping Markov chains with silent steps

Markovski, J. & Trcka, N., 2006, Proceedings 3rd International Conference on the Quantitative Evaluation of Systems (QEST'06, Riverside CA, USA, September 11-14, 2006). Los Alamitos CA: IEEE Computer Society, p. 221-230

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)

Matrix interpretations for proving termination of term rewriting

Endrullis, J., Waldmann, J. & Zantema, H., 2006, Automated reasoning : 3rd international joint conference, IJCAR'06, Seattle WA, USA, August 17-20, 2006 : proceedings. Furbach, U. & Shankar, N. (eds.). Berlin: Springer, p. 574-588 (Lecture Notes in Computer Science; vol. 4130).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
2 Downloads (Pure)

Multiparty contract signing over a reliable network

Orzan, S. M. & Vink, de, E. P., 2006, Proceedings of the First International Workshop on Security and Trust Management (STM'05, Milan, Italy, September 15, 2005). p. 27-41 (Electronic Notes in Theoretical Computer Science; vol. 157(3)).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Nuovo DRM Paradiso : towards a verified fair DRM protocol

Jonker, H. L., Krishnan Nair, S. & Torabi Dashti, M., 2006, Online Proceedings 1st Benelux Workshop on Information and System Security (WISSEC 2006, Antwerpen, Belgium, November 8-9, 2006). Katholieke Universiteit Leuven

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

1 Downloads (Pure)

Paradigm as organization-oriented coordination language

Groenewegen, L. P. J., Stam, A. W., Toussaint, P. J. & Vink, de, E. P., 2006, Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005, Namur, Belgium, April 23, 2005; in conjunction with Coordination'05). Torre, van der, L. (ed.). p. 93-113 (Electronic Notes in Theoretical Computer Science; vol. 150).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

Realizability criteria for compositional MSC

Mooij, A. J., Romijn, J. M. T. & Wesselink, J. W., 2006, Algebraic Methodology and Software Technology (Proceedings 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006). Johnson, M. & Vene, V. (eds.). Berlin: Springer, p. 248-262 (Lecture Notes in Computer Science; vol. 4019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)

Reflections on a geometry of processes

Grabmayer, C. A., Klop, J. W. & Luttik, B., 2006, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005). Aceto, L. & Gordon, A. D. (eds.). p. 183-190 (Electronic Notes in Theoretical Computer Science; vol. 162).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

Restructuring Paradigm models for the ToolBus architecture : a case study

Stam, A. W., Groenewegen, L. P. J. & Vink, de, E. P., 2006, Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005, Namur, Belgium, April 23, 2005; in conjunction with Coordination'05). Brim, L. & Linden, I. (eds.). p. 127-142 (Electronic Notes in Theoretical Computer Science; vol. 150(1)).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Six themes for future concurrency research

Baeten, J. C. M. & Bergstra, J. A., 2006, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005). Aceto, L. & Gordon, A. D. (eds.). p. 61-64 (Electronic Notes in Theoretical Computer Science; vol. 162).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Some remarks on definability of process graphs

Grabmayer, C. A., Klop, J. W. & Luttik, B., 2006, CONCUR 2006 - Concurrency Theory (Proceedings 17th International Conference, Bonn, Germany, August 27-30, 2006). Baier, C. & Hermanns, H. (eds.). Berlin: Springer, p. 16-36 (Lecture Notes in Computer Science; vol. 4137).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Termination of extended string rewriting

Zantema, H., 2006, Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006). Geser, A. & Sondergaard, H. (eds.). p. 44-48

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

1 Downloads (Pure)

The termination competition 2006

Marché, C. & Zantema, H., 2006, Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006). Geser, A. & Sondergaard, H. (eds.). S.l.: Computing Research Repository, p. 32-38

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

2 Downloads (Pure)

Time abstraction in timed µCRL à la regions

Groote, J. F., Reniers, M. A. & Usenko, Y. S., 2006, Proceedings 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006), Rhodes Island, Greece, April 25-29, 2006. Los Alamitos, USA: Institute of Electrical and Electronics Engineers, p. 1-8

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Verifying Chi models of industrial systems with Spin

Trcka, N., 2006, Formal Methods and Software Engineering (Proceedings 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006). Liu, Z. & He, Z. (eds.). Berlin: Springer, p. 132-148 (Lecture Notes in Computer Science; vol. 4260).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

What is algebraic in process theory?

Luttik, B., 2006, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25, Bertinoro, Italy, August 1-5, 2005). Aceto, L. & Gordon, A. D. (eds.). p. 227-231 (Electronic Notes in Theoretical Computer Science; vol. 162).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)
2005

A generic process algebra

Baeten, J. C. M. & Bravetti, M., 2005, Algebraic process calculi : the first twenty five years and beyond : short contributions from the workshop, PA'05, Bertinoro, Forli, Italy, August 1-5, 2005 / ed. Luca Aceto, Andrew D. Gordon. Aarhus: University of Aarhus, p. 24-29 (BRICS Notes Series; vol. NS-05-3).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

A ground-complete axiomatization of finite state processes in process algebra

Baeten, J. C. M. & Bravetti, M., 2005, CONCUR 2005 - Concurrency Theory (Proceedings 16th International Conference, San Francisco CA, USA, August 23-26, 2005). Abadi, M. & de Alfaro, L. (eds.). Berlin: Springer, p. 248-262 (Lecture Notes in Computer Science; vol. 3653).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

13 Citations (Scopus)

Analysing the BKE-security protocol with µCRL

Blom, S. C. C., Groote, J. F., Mauw, S. & Serebrenik, A., 2005, Proceedings 6th AMAST Workshop on Real-Time Systems (ARTS2004, Stirling, UK, July 12, 2004). p. 49-90 (Electronic Notes in Theoretical Computer Science; vol. 139(1)).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

A state space distribution policy based on abstract interpretation

Orzan, S. M., Pol, van de, J. C. & Valero Espada, M. A., 2005, Proceedings 3rd International Workshop on Parallel and Distributed Methods in Verification (PDMC '04, London, UK, September 4, 2004). Brim, L. & Leucker, M. (eds.). p. 35-45 (Electronic Notes in Theoretical Computer Science; vol. 128(3)).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)

A sub-quadratic algorithm for conjunctive and disjunctive boolean equation systems

Groote, J. F. & Keinänen, M. K., 2005, Theoretical aspects of computing : second International colloquium, ICTAC 2005, Hanoi, Vietnam, October 17-21, 2005 : proceedings. Hung, D. V. & Wirsing, M. (eds.). Berlin: Springer, p. 532-545 (Lecture Notes in Computer Science; vol. 3722).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

A syntactic criterion for injectivity of authentication protocols

Cremers, C. J. F., Mauw, S. & Vink, de, E. P., 2005, Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005, Lisbon, Portugal, July 16, 2005; in conjunction with ICALP'05). Degano, P. & Vigano, L. (eds.). p. 23-38 (Electronic Notes in Theoretical Computer Science; vol. 135(1)).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

A thread algebra with multi-level strategic interleaving

Bergstra, J. A. & Middelburg, C. A., 2005, New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings. Cooper, S. B., Löwe, B. & Torenvliet, L. (eds.). Berlin: Springer, p. 35-48 14 p. (Lecture Notes in Computer Science (LNCS); vol. 3526).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)

Automated model-based testing of simulation models with TorX

Osch, van, M. P. W. J., 2005, Quality of Software Architectures and Software Quality (Proceedings QoSA2005 and SOQUA2005, Erfurt, Germany, September 20-22, 2005). Reussner, R., Mayer, J., Stafford, J. A., Overhage, S., Becker, S. & Schroeder, P. J. (eds.). Berlin: Springer, p. 227-241 (Lecture Notes in Computer Science; vol. 3712).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Checking secrecy by means of partial order reduction

Cremers, C. J. F. & Mauw, S., 2005, System Analysis and Modelling (4th International SDL and MSC Workshop, SAM'04, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers). Amyot, D. & Williams, A. W. (eds.). Berlin: Springer, p. 171-188 (Lecture Notes in Computer Science; vol. 3319).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Conditionals in algebraic process calculi

Middelburg, C. A., 2005, Algebraic Process Calculi: The First Twenty Five Years and Beyond (Short contributions from the workshop, Bertinoro, Forli, Italy, August 1-5, 2005), BRICS Notes Series NS-05-3. Aceto, L. & Gordon, A. D. (eds.). Aarhus, Denmark: BRICS, University of Aarhus, p. 168-171

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Context-free languages via coalgebraic trace semantics

Hasuo, I. & Jacobs, B. P. F., 2005, Algebra and Coalgebra in Computer Science (Proceedings First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005). Fiadeiro, J. L., Harman, N., Roggenbach, M. & Rutten, J. (eds.). Berlin: Springer, p. 213-231 (Lecture Notes in Computer Science; vol. 3629).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

16 Citations (Scopus)

Delegation modeling with Paradigm

Groenewegen, L. P. J., Kampenhout, van, N. & Vink, de, E. P., 2005, Coordination Models and Languages (Proceedings 7th International Conference, Coordination 2005, Namur, Belgium, April 20-23, 2005). Jacquet, J. M. & Picco, G. P. (eds.). Berlin: Springer, p. 94-108 (Lecture Notes in Computer Science; vol. 3454).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)

Discretization of timed automata in Timed µCRL à la regions and zones

Groote, J. F., Reniers, M. A. & Usenko, Y. S., 2005, Algebraic Process Calculi: The First Twenty Five Years and Beyond (Short contributions from the workshop, Bertinoro, Forli, Italy, August 1-5, 2005), BRICS Notes Series NS-05-3. Aceto, L. & Gordon, A. D. (eds.). Aarhus, Denmark: BRICS, University of Aarhus, p. 132-136

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Equivalences for silent transitions in probilistic systems

Andova, S. & Willemse, T. A. C., 2005, Proceedings 11th International Workshop on Expressiveness in Concurrency (EXPRESS 2004, London, UK, August 30, 2004). Baeten, J. C. M. & Corradini, F. (eds.). p. 53-66 (Electronic Notes in Theoretical Computer Science; vol. 128(2)).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Exploring students' understanding of the concept of algorithm : levels of abstraction

Perrenet, J. C., Groote, J. F. & Kaasenbrood, E. J. S., 2005, Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE 2005, Monte da Caparica, Portugal, June 27-29, 2005). p. 64-68 (SIGCSE Bulletin; vol. 37(3)).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

28 Citations (Scopus)

Finding finite automata that certify termination of string rewriting

Geser, A., Hofbauer, D., Waldmann, J. & Zantema, H., 2005, Implementation and Application of Automata (Revised Selected Papers, Ninth International Conference, CIAA 2004, Kingston ON, Canada, July 22-24, 2004). Domaratzki, M., Okhotin, A., Salomaa, K. & Yu, S. (eds.). Berlin: Springer, p. 134-145 (Lecture Notes in Computer Science; vol. 3317).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
2 Downloads (Pure)

Formal methods impact on ANSI standard HL7/IM : filling gaps in MSC theory

Wesselink, J. W., Goga, N., Mooij, A. J. & Spronk, R., 2005, Proceedings of the 18th Canadian Conference on Electrical and Computer Engineering, CCECE 2005, Saskatoon, Saskatchewan, Canada, May 1-4, 2005. Institute of Electrical and Electronics Engineers, p. 1656-1659

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Formal verification of Chi models using PHAVer

Man, K. L. & Schiffelers, R. R. H., 2005, IFM 2005 Doctoral Symposium on Integrated Formal Methods (Eindhoven, The Netherlands, November 29, 2005). Romijn, J. M. T., Smith, G. & Pol, van de, J. C. (eds.). Eindhoven: Technische Universiteit Eindhoven, p. 39-48 (Computer Science Reports; vol. 05-29).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
28 Downloads (Pure)

From µCRL to mCRL2 : motivation and outline

Groote, J. F., Mathijssen, A. H. J., Weerdenburg, van, M. J. & Usenko, Y. S., 2005, Algebraic Process Calculi: The First Twenty Five Years and Beyond (Short contributions from the workshop, Bertinoro, Forli, Italy, August 1-5, 2005). Aceto, L. & Gordon, A. D. (eds.). Aarhus, Denmark: BRICS, University of Aarhus, p. 126-131 (BRICS Notes Series; vol. NS-05-3).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

1 Downloads (Pure)