Back to Search

Journal article

Symmetry reduction in CSP model checking

Publication status:: Published

Peer review status:: Peer reviewed

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Cite

Cite this record

APA Style

Gibson-Robinson, T., & Lowe, G. (2019). Symmetry reduction in CSP model checking . International Journal on Software Tools for Technology Transfer , 21(5), 567–605.

MLA Style

Gibson-Robinson, T., and G. Lowe. “Symmetry Reduction in CSP Model Checking .” International Journal on Software Tools for Technology Transfer , vol. 21, no. 5, Springer, 2019, pp. 567–605.

Chicago Style

Gibson-Robinson, T, and G Lowe. 2019. “Symmetry Reduction in CSP Model Checking .” International Journal on Software Tools for Technology Transfer 21 (5): 567–605.
Tweet
Print

Access Document

Files:: Gibson-Robinson-Lowe20...

(Version of record, pdf, 1.4MB)

Publisher copy:: 10.1007/s10009-019-00516-4

Authors

+ Gibson-Robinson, T More by this author

Role:

Author

+ Lowe, G More by this author

Institution:

University of Oxford

Division:

MPLS

Department:

Computer Science

Oxford college:

St Catherine's College

Role:

Author

Bibliographic Details

Publisher:: Springer Publisher's website
Journal:: International Journal on Software Tools for Technology Transfer Journal website
Volume:: 21
Issue:: 5
Pages:: 567–605
Publication date:: 2019-04-01
Acceptance date:: 2019-02-26
DOI:: 10.1007/s10009-019-00516-4
ISSN:: 1433-2779

Item Description

Keywords:: FFR
Pubs id:: pubs:976845
UUID:: uuid:0c3f32d1-ca13-4f8d-9133-54537cfc71c5
Local pid:: pubs:976845
Source identifiers:: 976845
Deposit date:: 2019-02-27

Terms of use

Copyright holder:: Gibson-Robinson, T and Lowe, G
Copyright date:: 2019
Notes:: © The Author(s) 2019. Open Access. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Licence:: CC Attribution (CC BY)

Metrics

Views and Downloads

About views and downloads

If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP