By the same authors

From the same journal

From the same journal

Modelling Timed Reactive Systems from Natural-Language Requirements

Research output: Contribution to journalArticle

Full text download(s)

  • fac

    1002 KB, PDF document

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

JournalFormal Aspects of Computing
DateAccepted/In press - 1 Jul 2016
DateE-pub ahead of print (current) - 26 Jul 2016
Issue number5
Volume28
Number of pages41
Pages (from-to)725-765
Early online date26/07/16
Original languageEnglish

Bibliographical note

© British Computer Society 2016. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Discover related content

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

View graph of relations