Principles of Discrete Event System Specification model verification

SIMULATION: Transactions of the Society for Modeling and Simulation International, Volume 89, Number 1 - jan 2013
Download the publication : j7-SW13.pdf [1.4Mo]  
Category: Other
Journal : SIMULATION: Transactions of the Society for Modeling and Simulation International
Number : 1
Volume : 89
Month : jan
Year : 2013
URL: http://cell-devs.sce.carleton.ca/publications/2013/SW13

BibTex references

@Journal_Article\{SW13,
  author       = "Saadawi, Hesham and Wainer, Gabriel A.",
  title        = "Principles of Discrete Event System Specification model verification",
  category     = "Other",
  journal      = "SIMULATION: Transactions of the Society for Modeling and Simulation International",
  number       = "1",
  volume       = "89",
  month        = "jan",
  year         = "2013",
  url          = "http://cell-devs.sce.carleton.ca/publications/2013/SW13"
}

Other publications in the database