Semantics of the VDM Real-Time Dialect. Lausdahl, K., Coleman, J. W., & Larsen, P. G. Technical Report ECE-TR-13, Aarhus University, April, 2013.
Semantics of the VDM Real-Time Dialect [pdf]Paper  bibtex   
@techreport{Lausdahl&13a,
  author =        {Kenneth Lausdahl and Joey W. Coleman and
                   Peter Gorm Larsen},
  institution =   {Aarhus University},
  key =           {Lausdahl\&13a},
  month =         {April},
  number =        {{ECE-TR-13}},
  title =         {{Semantics of the VDM Real-Time Dialect}},
  year =          {2013},
  url=				{Lausdahl&13a.pdf},
}
Downloads: 0