著者名,タイトル,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Paulevé,Under-approximating Cut Sets for Reachability in Large Scale Automata Networks,,,,2013,vol. 8044,,69,https://cir.nii.ac.jp/crid/1370288394264528512,