Assumption/guarantee specifications in linear-time temporal logic

From MaRDI portal
Publication:671674