DMCA
Verification of Relational Transducers for Electronic Commerce (2000)
Cached
Download Links
- [ftp.informatik.rwth-aachen.de]
- [www-mgi.informatik.rwth-aachen.de]
- [www.logic.rwth-aachen.de]
- DBLP
Other Repositories/Bibliography
by
Marc Spielmann
Venue: | JCSS |
Citations: | 41 - 0 self |