You are here: TUCS > PUBLICATIONS > Publication Search > Reasoning about Action Systems...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
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},
}
Publication Forum rating of this publication: level 2