Satoshi Yamane

From MaRDI portal
Person:3391590

Available identifiers

zbMath Open yamane.satoshiMaRDI QIDQ3391590

List of research outcomes





PublicationDate of PublicationType
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation2009-08-11Paper
The automatic verification using symbolic model-checking2007-08-22Paper
https://portal.mardi4nfdi.de/entity/Q47038931999-12-01Paper

Research outcomes over time

This page was built for person: Satoshi Yamane

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3391590&oldid=11959590"
Powered by MediaWiki