Team for Research in
Ubiquitous Secure Technology

Citation
Ethan Jackson, Janos Sztipanovits. "Constructive Techniques for Meta and Model-Level Reasoning". Proceedings of MODELS07, October, 2007.

Abstract
(No abstract.)

Electronic downloads

• constructive%20techniques.pdf · application/pdf · 250 kbytes

• HTML

  Ethan Jackson, Janos Sztipanovits. <a
  href="http://www.truststc.org/pubs/439.html"
  >Constructive Techniques for Meta and Model-Level
  Reasoning</a>, Proceedings of MODELS07, October, 2007.

• Plain text

  Ethan Jackson, Janos Sztipanovits. "Constructive
  Techniques for Meta and Model-Level Reasoning".
  Proceedings of MODELS07, October, 2007.

• BibTeX

  @inproceedings{JacksonSztipanovits07_ConstructiveTechniquesForMetaModelLevelReasoning,
      author = {Ethan Jackson and Janos Sztipanovits},
      title = {Constructive Techniques for Meta and Model-Level
                Reasoning},
      booktitle = {Proceedings of MODELS07},
      month = {October},
      year = {2007},
      abstract = {(No abstract.)},
      URL = {http://www.truststc.org/pubs/439.html}
  }
  

Posted by Jan Werner on 20 Aug 2008.
Groups: trust
For additional information, see the Publications FAQ or contact webmaster at www truststc org.