Search results for: Kokichi Futatsugi
IFIP — The International Federation for Information Processing > Design Methods and Applications for Distributed Embedded Systems > Verification and Analysis > 43-52
IFIP — The International Federation for Information Processing > Design Methods and Applications for Distributed Embedded Systems > Verification and Analysis > 43-52