Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/icfem/LanoAK00
AU - Lano, Kevin
AU - Androutsopoulos, Kelly
AU - Kan, Pauline
TI - Structuring Reactive Systems in B AMN.
BT - 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings
SP - 25
EP - 34
PY - 2000//
DO - 10.1109/ICFEM.2000.873802
UR - https://doi.org/10.1109/ICFEM.2000.873802
UR - https://doi.ieeecomputersociety.org/10.1109/ICFEM.2000.873802
ER -
