Klemens Böhm, Amílcar Sernadas. Real-Time Object Specification Logic. In DAISD. pages 159-173, 1993.
@inproceedings{BohmS93, title = {Real-Time Object Specification Logic}, author = {Klemens Böhm and Amílcar Sernadas}, year = {1993}, tags = {meta-model, logic, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/BohmS93}, cites = {0}, citedby = {0}, pages = {159-173}, booktitle = {DAISD}, }