Visual modeling and verification of distributed reactive systems

Simple item page
dc.contributor.authorIqbal, A.
dc.contributor.authorBhattacharjee, A. K.
dc.contributor.authorDhodapkar, S. D.
dc.date.accessioned2022-02-17T06:56:06Z
dc.date.available2022-02-17T06:56:06Z
dc.date.issued2003
dc.description.divisionRCnDen
dc.format.extent4705 bytes
dc.format.mimetypetext/html
dc.identifier.sourceLecture Notes in Computer Science, 2003. Vol. 2788: pp. 22-34en
dc.identifier.urihttp://hdl.handle.net/123456789/24030
dc.language.isoenen
dc.subjectVisual modeling and verificationen
dc.subjectdistributed reactive systemsen
dc.subjectCSPROM toolen
dc.subjectSpin model checkeren
dc.titleVisual modeling and verification of distributed reactive systemsen
dc.typeArticleen

Click here to download

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
0403.htm
Size:
4.59 KB
Format:
Hypertext Markup Language
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.81 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

2003