Principles of Discrete Event System Specification model verification

Hesham Saadawi, Gabriel A. Wainer

SIMULATION: Transactions of the Society for Modeling and Simulation International, Volume 89, Number 1, page 41-67 - jan 2013

Download the publication :

Category: Other
Journal : SIMULATION: Transactions of the Society for Modeling and Simulation International
Number : 1
Volume : 89
Pages : 41-67
Month : jan
Year : 2013
URL: http://cell-devs-02.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",
  pages        = "41-67",
  month        = "jan",
  year         = "2013",
  url          = "http://cell-devs-02.sce.carleton.ca/publications/2013/SW13"
}

Other publications in the database

» Hesham Saadawi
» Gabriel A. Wainer