Now showing items 1-1 of 1

    • Fully Automated Translation of BoxTalk to Promela 

      Kajarekar, Tejas (University of Waterloo, 2011-08-26)
      Telecommunication systems are structured to enable incremental growth, so that new telecommunication features can be added to the set of existing features. With the addition of more features, certain existing features may ...


      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages