- Action: SAVE
- Address: 127.0.0.1
- Comment: '/* Timed automata (já budu nazývat časovým automatem) */ drobné opravy'
- Content Type: MediaWiki [text/x-mediawiki;charset=utf-8]
- Data ID: 700011d365424d13b5563a9d0e02fd7e
- External Links: (None)
- Item ID: 6580fc9f0af24905a120be5ffac3f66c
- Item Links: (None)
- Item Transclusions: (None)
- Item Type: default
- Language:
- Modified Time: 2013-09-07 17:34:18z
- Name: Archiv/Modely a verifikace programů
- Old Name: (None)
- Namespace: ''
- Parent Revision ID: 47ea4f179ed742449afe074e5dd25df6
- Revision ID: 22f76903ac7647fa80d44f332930404f
- Revision Number: 5
- SHA1: f5b5ed9aa0265d966f4ca55132e9be942adad6cd
- Size: 24.8 kB
- Summary: ''
- Tags: (None)
- Trash: False
- User ID: 485ddad40159466c909bbb4d53b43edc
- Wiki Name: MatfyzWiki