• Title of article

    Deriving algebraic Petri net specifications from structured analysis—a case study

  • Author/Authors

    Chieh-Ying Kan، نويسنده , , Xudong He، نويسنده ,

  • Issue Information
    ماهنامه با شماره پیاپی سال 1995
  • Pages
    24
  • From page
    411
  • To page
    434
  • Keywords
    algebraic Petri nets. formal methods , structured analysi"
  • Journal title
    Information and Software Technology
  • Serial Year
    1995
  • Journal title
    Information and Software Technology
  • Record number

    134333

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=134333