Abdelwaheb Ayari, David A. Basin, Stefan Friedrich. Structural and Behavioral Modeling with Monadic Logics. In ISMVL. pages 142-151, 1999. [doi]
@inproceedings{AyariBF99,
title = {Structural and Behavioral Modeling with Monadic Logics},
author = {Abdelwaheb Ayari and David A. Basin and Stefan Friedrich},
year = {1999},
url = {http://computer.org/proceedings/ismvl/0161/01610142abs.htm},
tags = {modeling, logic},
researchr = {https://researchr.org/publication/AyariBF99},
cites = {0},
citedby = {0},
pages = {142-151},
booktitle = {ISMVL},
}