Automatic Visualization of Relational Logic Models

Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson. Automatic Visualization of Relational Logic Models. ECEASST, 7, 2007. [doi]

@article{RaysideCDSJ07,
  title = {Automatic Visualization of Relational Logic Models},
  author = {Derek Rayside and Felix Sheng-Ho Chang and Greg Dennis and Robert Seater and Daniel Jackson},
  year = {2007},
  url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/94},
  tags = {meta-model, logic, Meta-Environment},
  researchr = {https://researchr.org/publication/RaysideCDSJ07},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {7},
}