tHaar00

Stefan Haar. Occurrence Net Logics. Fundamenta Informaticae, 43:105-127, August 2000.

Keywords

[ Partial orders ] [ Scenarios ] [ Unfolding ]

Contact

Stefan Haar http://www.irisa.fr/distribcom

BibTex Reference

@article{tHaar00,
   Author = {Haar, Stefan},
   Title = {Occurrence Net Logics},
   Journal = {Fundamenta Informaticae},
   Volume = {43},
   Pages = {105--127},
   Month = {August},
   Year = {2000}
}

EndNote Reference [help]

Get EndNote Reference (.ref)