Items where Author / Artist / Editor is "Parker, David"

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Boender, Jaap, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Poly, Guillaume and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2020) Describing and simulating concurrent quantum systems. Biere, Armin and Parker, David, eds. Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 20), 27-30 Apr 2020, Dublin. ISBN 9783030452360, e-ISBN 9783030452377. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-030-45237-7_16)

Chen, Taolue, Forejt, Vojtěch, Kwiatkowska, Marta, Parker, David and Simaitis, Aistis (2013) Automatic verification of competitive stochastic systems. Formal Methods in System Design, 43 (1) . pp. 61-92. ISSN 0925-9856 [Article] (doi:10.1007/s10703-013-0183-7)

Dominguez, Francisco ORCID: https://orcid.org/0000-0001-7239-2734 (2002) Chile: the consequences of privatisation. In: Globalisation and sustainable development in Latin America: perspectives on the new economic order. Saha, Suranjit Kumar and Parker, David, eds. Edward Elgar Publishing Limited, pp. 174-189. ISBN 9781840643732. [Book Section]