DMCA

Unidirectional channel systems can be tested (2012)

by P. Jančar , P. Karandikar , Ph. Schnoebelen
Venue:IFIP TCS 2012 , 7TH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE, VOLUME 7604 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:2 - 2 self