DMCA

A Generalised Sweep-Line Method for Safety Properties (2002)

Cached

Download Links

by Lars Michael Kristensen , Thomas Mailund
Venue:In Proc. of FME'02, volume 2391 of LNCS
Citations:21 - 14 self