Model Checking for Modal Intuitionistic Dependence Logic
Available formats
The following formats are available for viewing.
23
views
MPEG-4 Video
(360p quality for
download)
-
download
File size: 469.59 MB
Width: 640, Height: 360 Duration: 33 mins 53 secs Frame rate: 29.97 fps, Sample rate: 44100 Hz Average bitrate: 1.84 Mbits/sec |
|
4
views
WebM
(360p quality for
download)
-
download
File size: 134.60 MB
Width: 640, Height: 360 Duration: 33 mins 53 secs Frame rate: 29.97 fps, Sample rate: 44100 Hz Average bitrate: 542.39 kbits/sec |
|
26
views
Flash Video
(high quality for
streaming)
-
download
File size: 141.07 MB
Width: 484, Height: 272 Duration: 33 mins 53 secs Frame rate: 29.97 fps, Sample rate: 44100 Hz Average bitrate: 568.43 kbits/sec |
|
4
views
iPod Video
(high quality for
download)
-
download
File size: 125.59 MB
Width: 480, Height: 270 Duration: 33 mins 53 secs Frame rate: 29.97 fps, Sample rate: 44100 Hz Average bitrate: 506.07 kbits/sec |
|
5
views
MP3
(high quality for
download)
-
download
File size: 30.89 MB
Duration: 33 mins 44 secs Sample rate: 44100 Hz Average bitrate: 125.03 kbits/sec |