On the Formal Verification of Petri Net Properties using a Mechanized Proof Checker Approach （プルーフチェッカーシステムを用いたペトリネットの性質の形式的検証について）

WEKO3

lat lon distance

[[sub_check.contents]]

[[sub_radio.contents]]

Field does not validate

[[sub_attr.contents]]　

[No FileName]

ファイル	ライセンス

	本文URL					https://soar-ir.repo.nii.ac.jp/?action=repository_action_common_download&item_id=11526&item_no=1&attribute_id=72&file_no=2

Version	Date Modified	Object File Name	File Size	File Hash Value	Contributor Name	Show/Hide

Downloads

Plays