@inproceedings{a0867440eb3f4a08ac1789503e0f4f0e,
title = "Derivation of Structural VHDL from Component-Based Event-B Models",
author = "Sergii Ostroumov and Leonidas Tsiopoulos and Juha Plosila and Kaisa Sere",
year = "2013",
language = "Odefinierat/ok{\"a}nt",
isbn = "978-952-12-2899-5",
pages = "31–32",
editor = "M Butler and S Hallerstede and M Walden",
booktitle = "Proceedings of the 4th Rodin User and Developer Workshop",
publisher = "TUCS",
note = "null ; Conference date: 10-06-2013 Through 11-06-2013",
}