( en | de | ru )

 

  2. person
  3. Keijo Heljanko

Keijo Heljanko

Combining symbolic and partial order methods for model checking 1-safe Petri nets.
. Aalto University, Helsinki, Finland, (2002)base-search.net (ftaaltouniv:oai:aaltodoc.aalto.fi:123456789/2166).
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found