Tableau methods for PA-processes (Q4610333): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4818827 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4353915 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4790409 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Algorithm for the General Petri Net Reachability Problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model checking PA-processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992568 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bfb0027420 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1506194499 / rank | |||
Normal rank |
Latest revision as of 10:05, 30 July 2024
scientific article; zbMATH DE number 7002283
Language | Label | Description | Also known as |
---|---|---|---|
English | Tableau methods for PA-processes |
scientific article; zbMATH DE number 7002283 |
Statements
Tableau methods for PA-processes (English)
0 references
15 January 2019
0 references
tableau systems
0 references
temporal logic
0 references
process algebras
0 references
PA-processes
0 references