Sciweavers

CONCUR
1997
Springer

A Product Version of Dynamic Linear Time Temporal Logic

15 years 28 days ago
A Product Version of Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1997
Where CONCUR
Authors Jesper G. Henriksen, P. S. Thiagarajan
Comments (0)