Formal Semantics of UML with Real-Time Constructs

Subash Shankar, Sinan Asa. Formal Semantics of UML with Real-Time Constructs. In Perdita Stevens, Jon Whittle, Grady Booch, editors, «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings. Volume 2863 of Lecture Notes in Computer Science, pages 60-75, Springer, 2003. [doi]

@inproceedings{ShankarA03,
  title = {Formal Semantics of UML with Real-Time Constructs},
  author = {Subash Shankar and Sinan Asa},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2863&spage=60},
  tags = {semantics, formal semantics, UML},
  researchr = {https://researchr.org/publication/ShankarA03},
  cites = {0},
  citedby = {0},
  pages = {60-75},
  booktitle = {«UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings},
  editor = {Perdita Stevens and Jon Whittle and Grady Booch},
  volume = {2863},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20243-9},
}