State space reduction using partial order techniques

Uložené v:
Podrobná bibliografia
Vydané v:International journal on software tools for technology transfer Ročník 2; číslo 3; s. 279 - 287
Hlavní autori: Clarke, E.M., Grumberg, O., Minea, M., Peled, D.
Médium: Journal Article
Jazyk:English
Japanese
Vydavateľské údaje: 01.11.1999
ISSN:1433-2779, 1433-2787
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
ISSN:1433-2779
1433-2787
DOI:10.1007/s100090050035