State space reduction using partial order techniques

Uloženo v:
Podrobná bibliografie
Vydáno v:International journal on software tools for technology transfer Ročník 2; číslo 3; s. 279 - 287
Hlavní autoři: Clarke, E.M., Grumberg, O., Minea, M., Peled, D.
Médium: Journal Article
Jazyk:angličtina
japonština
Vydáno: 01.11.1999
ISSN:1433-2779, 1433-2787
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
ISSN:1433-2779
1433-2787
DOI:10.1007/s100090050035