Edit search
A Checker for Modal Formulas for Processes with Data
A Checker for Modal Formulas for Processes with Data
Article, Chapter
Authors: J.F. Groote
Publication: Volume:3188, Page(s):223-239
Browse related articles
  Request a copy of this item
Cite this item