Problems concerning fairness and temporal logic for conflict-free petri nets (1989)

by R Howell, L Rosier
Venue:Theoretical Computer Science