Toshiyuki Miyamoto et al.: On Reachability Analysis of Multi Agent Nets. (2007)journals/ieicet/MiyamotoSK0710.1093/IETFEC/E90-A.10.2257On Reachability Analysis of Multi Agent Nets.3Toshiyuki Miyamoto1Masaki Sakamoto2Sadatoshi Kumagai32257-2260IEICE Trans. Fundam. Electron. Commun. Comput. Sci.IEICE Trans. Fundam. Electron. Commun. Comput. Sci.90-A102007provenance information for RDF data of dblp record 'journals/ieicet/MiyamotoSK07'2020-04-11T13:30:37+0200