Concurrent Scheduling of Event-B Models

Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Walden

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

1 Citation (Scopus)
Original languageUndefined/Unknown
Title of host publicationProceedings 15th International Refinement Workshop
EditorsJ Derrick, EA Boiten, S Reeves
PublisherOpen Publishing Association
Pages166–182
DOIs
Publication statusPublished - 2011
MoE publication typeA4 Article in a conference publication
Eventconference; 2011-06-20; 2011-06-20 -
Duration: 20 Jun 201120 Jun 2011

Conference

Conferenceconference; 2011-06-20; 2011-06-20
Period20/06/1120/06/11

Cite this