By the same authors

Local Analysis of Determinism for CSP

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

Full text download(s)

  • OCS17

    475 KB, PDF document

Links

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

Title of host publicationFormal Methods
DateE-pub ahead of print - 11 Nov 2017
DatePublished (current) - 1 Dec 2017
Pages107-124
Number of pages18
PublisherSpringer International Publishing Switzerland
EditorsS. Cavalheiro, J. Fiadeiro
Original languageEnglish
ISBN (Electronic)9783319708485
ISBN (Print)9783319708478

Publication series

NameLecture Notes in Computer Science
Volume10623

Bibliographical note

© Springer International Publishing AG, 2017.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations