Timed Mirroring Typed Decision Graphs: A Model Structure For Real-Time Systems

Syrine Ayadi. Timed Mirroring Typed Decision Graphs: A Model Structure For Real-Time Systems. In Mohamed Kaâniche, editor, Student Forum, IFIP 18th World Computer Congress - Student Forum, 22-27 August 2004, Toulouse, France. pages 133-142, Kluwer, 2004.

@inproceedings{Ayadi04,
  title = {Timed Mirroring Typed Decision Graphs: A Model Structure For Real-Time Systems},
  author = {Syrine Ayadi},
  year = {2004},
  tags = {type system, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/Ayadi04},
  cites = {0},
  citedby = {0},
  pages = {133-142},
  booktitle = {Student Forum, IFIP 18th World Computer Congress - Student Forum, 22-27 August 2004, Toulouse, France},
  editor = {Mohamed Kaâniche},
  publisher = {Kluwer},
}