On stubborn sets in the verification of linear time temporal properties (Q1774568): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1007/s10703-005-4594-y / rank
Normal rank
 
Property / cites work
 
Property / cites work: A partial order approach to branching time logic model checking. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4037381 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verification of distributed programs using representative interleaving sequences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relaxed visibility enhances partial order reduction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2766568 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4507820 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4002642 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combining partial-order reductions with on-the-fly model-checking. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4507826 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3219122 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4372017 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3997018 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4507830 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A stubborn attack on state explosion / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4353636 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4239305 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4507831 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S10703-005-4594-Y / rank
 
Normal rank

Latest revision as of 10:32, 11 December 2024

scientific article
Language Label Description Also known as
English
On stubborn sets in the verification of linear time temporal properties
scientific article

    Statements

    Identifiers