DMCA

Components with Symbolic Transition Systems: a Java Implementation of Rendezvous

Cached

Download Links

by Alistair A. Mcewan , Steve Schneider , Wilson Ifill , Peter Welch , Fabricio Fernandes , Robin Passama , Jean-claude Royer