DMCA

On Relaxing Metric Information in Linear Temporal Logic (2009)

by Carlo A. Furia , Paola Spoletini
Citations:2 - 2 self