Mercurial > hg > Papers > 2021 > kono-sigos

view fig/goto.drawio @ 0:67e6ca3c7e6c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
model checking
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 27 Apr 2021 14:25:56 +0900
parents
children
line wrap: on
line source

<mxfile host="app.diagrams.net" modified="2021-02-08T00:33:06.516Z" agent="5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/88.0.4324.150 Safari/537.36" etag="cSnCzo-mDx1Px6_YXM6u" version="14.2.9" type="device"><diagram id="icBlebNF4znFYw3Hrgqr" name="Page-1">3VZRb5swEP41PHbCUJL2cUvaTpoqTYq2pY8uvoI1gzPHFOiv31HbgKFR1mrtqr1Evs9357vvPhwH8aporhTd5deSgQiikDVBvA6iaBGF+NsBrQVCC2SKMwORAdjwB7Cgc6s4g73nqKUUmu98MJVlCan2MKqUrH23Oyn8U3c0gxmwSamYoz8407lBz6LlgH8GnuXuZLI4NzsFdc62k31OmaxHUHwRxCslpTarolmB6LhzvJi4ywO7fWEKSv0nAZeJOvlS3f26/dY8fN/ecHa9/Hlis9xTUdmGU5wgIldAla1bt44MJauSQZcvDOJPdc41bHY07XZrnD5iuS4EWgSXNjMoDc3BkklPBAoIZAFatehiA04tdVY7iTXrYRDEsZuPhrCwGLWzz/rEAz24sAw9g61oxhajmh5iCxOiSuFNmOpV1vrMHaPq7LWoit+3sOJ3pqzTGV1zOZXsY3ehoZUKut/z1KcFW1ft1lL4aNx0xofEmetmvLlundVwvXU5cD2KQmsI6gwXY4oDNrs7JwPABmSlUjj+TWmqMtDHBDUf6GhiyRMDc5gCQTW/98t9aor2hK+SYyO9XsjS1wshEyGYNm3U+BKeJJp+p1NBGRpmeR411Xf9cpklz5JZKUv4LzTmHg7HNBb9U42d+9KIwpdqbPK3SZK/JTI0h/eKcR8effHFbw==</diagram></mxfile>