@eperzhand

Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.

, , and . ICATPN, volume 3536 of Lecture Notes in Computer Science, page 188-207. Springer, (2005)

Description

dblp

Links and resources

Tags

community

  • @eperzhand
  • @dblp
@eperzhand's tags highlighted