DMCA

Abstracting WS1S Systems to Verify Parameterized Networks (2000)

Cached

Download Links

by Kai Baukus , Saddek Bensalem , Yassine Lakhnech , Karsten Stahl
Citations:32 - 6 self