- Action: SAVE
- Address: 127.0.0.1
- Comment: '/* Specifikace chování real-time systémů, timed automata. */ doplnění informace o zdroji'
- Content Type: MediaWiki [text/x-mediawiki;charset=utf-8]
- Data ID: 20536524463c471aa7f51b66db032ea6
- External Links: (None)
- Item ID: 6580fc9f0af24905a120be5ffac3f66c
- Item Links: (None)
- Item Transclusions: (None)
- Item Type: default
- Language:
- Modified Time: 2013-09-07 17:37:38z
- Name: Archiv/Modely a verifikace programů
- Old Name: (None)
- Namespace: ''
- Parent Revision ID: 22f76903ac7647fa80d44f332930404f
- Revision ID: c8021084fc49471787c83427a46a6c4e
- Revision Number: 6
- SHA1: 20f2871bf936546796634893a153577fca71123f
- Size: 24.8 kB
- Summary: ''
- Tags: (None)
- Trash: False
- User ID: 485ddad40159466c909bbb4d53b43edc
- Wiki Name: MatfyzWiki