Cover von Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints opens in new tab

Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints

Year: 2023
Media group: LIPIcs

Details

Search for this author
Year: 2023
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 1-17
Participating parties: Search for this character Mascle, Corto; Muscholl, Anca; Walukiewicz, Igor
Media group: LIPIcs