Infoscience

Journal article

A temporal specification checker for Petri nets

Related material