Local Analysis of Determinism for CSP

Otoni, R., Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 and Sampaio, A. C. A. (2017) Local Analysis of Determinism for CSP. In: Cavalheiro, S. and Fiadeiro, J., (eds.) Formal Methods:Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. Lecture Notes in Computer Science. Springer, pp. 107-124.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Cavalheiro, S.
  • Fiadeiro, J.
Copyright, Publisher and Additional Information:

© Springer International Publishing AG, 2017.
Dates:
  • Published (online): 11 November 2017
  • Published: 1 December 2017
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Date Deposited: 04 Jan 2018 10:20
Last Modified: 19 Oct 2025 23:01
Published Version: https://doi.org/10.1007/978-3-319-70848-5_8
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Identification Number: 10.1007/978-3-319-70848-5_8
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics


CORE (COnnecting REpositories)