An Inductive Approach for Modal Transition System Refinement

Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastian Uchitel
Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, page 106--116 - 2011
Download the publication : An inductive approach for modal transition system refinement.pdf [576Ko]  

BibTex references

@InProceedings\{AKRU11,
  author       = "Alrajeh, Dalal and Kramer, Jeff and Russo, Alessandra and Uchitel, Sebastian",
  title        = "An Inductive Approach for Modal Transition System Refinement",
  booktitle    = "Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011",
  pages        = "106--116",
  year         = "2011",
  editor       = "John P. Gallagher, Michael Gelfond",
  publisher    = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
  note         = "ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA",
  url          = "http://publicaciones.dc.uba.ar/Publications/2011/AKRU11"
}

Other publications in the database

» Dalal Alrajeh
» Jeff Kramer
» Alessandra Russo
» Sebastian Uchitel