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.


Copyright, Publisher and Additional Information: © Springer International Publishing AG, 2017.
  • 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)
Depositing User: Pure (York)
Date Deposited: 04 Jan 2018 10:20
Last Modified: 07 Dec 2022 09:08
Published Version: https://doi.org/10.1007/978-3-319-70848-5_8
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: No
Identification Number: https://doi.org/10.1007/978-3-319-70848-5_8
Related URLs: