External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification

Samir Tigane, Laïd Kahloul, Souheib Baarir, Samir Bourekkache. Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification. In VALUETOOLS 2020: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, Tsukuba, Japan, May 18-20, 2020. pages 164-171, ACM, 2020. [doi]

Authors

Samir Tigane

This author has not been identified. Look up 'Samir Tigane' in Google

Laïd Kahloul

This author has not been identified. Look up 'Laïd Kahloul' in Google

Souheib Baarir

This author has not been identified. Look up 'Souheib Baarir' in Google

Samir Bourekkache

This author has not been identified. Look up 'Samir Bourekkache' in Google
runs on