You are here: TUCS > PUBLICATIONS > Publication Search > Reasoning about Action Systems...
Reasoning about Action Systems using the B-Method
Marina Waldén, Kaisa Sere, Reasoning about Action Systems using the B-Method. Formal Methods in System Design 13(1), 5 - 35, 1998.
BibTeX entry:
@ARTICLE{jWaSe98,
title = {Reasoning about Action Systems using the B-Method},
author = {Waldén, Marina and Sere, Kaisa},
journal = {Formal Methods in System Design},
volume = {13},
number = {1},
pages = {5 - 35},
year = {1998},
}