Model Checking via Fixed Points in Categories and Lattices(圏と束における不動点を用いたモデル検査)

甲2572

WEKO3

lat lon distance

[[sub_check.contents]]

[[sub_radio.contents]]

Field does not validate

[[sub_attr.contents]]　

https://ir.soken.ac.jp/record/2000313/files/甲2572.pdf

要旨・審査要旨 / Abstract, Screening Result

application/pdf

ファイル	ライセンス
甲2572.pdf (486.1 kB) sha256 67e0ef9323c347ec242ecc19b4a77329b89b7d3e124065c3455924f744f74ab8	Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)

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

Downloads

Plays