FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W372820652> ?p ?o ?g. }

• W372820652 abstract "Models of reactive systems play a central role in many techniques for verification and analysis of reactive systems. Both a specification of the system and the abstract behavior of the system can b ..." @default.
• W372820652 created "2016-06-24" @default.
• W372820652 creator A5091406840 @default.
• W372820652 date "2006-01-01" @default.
• W372820652 modified "2023-09-23" @default.
• W372820652 title "Regular inference for reactive systems" @default.
• W372820652 cites W1482663303 @default.
• W372820652 cites W1503973138 @default.
• W372820652 cites W1512310098 @default.
• W372820652 cites W1520252399 @default.
• W372820652 cites W1531123507 @default.
• W372820652 cites W1541969962 @default.
• W372820652 cites W1546606300 @default.
• W372820652 cites W1564947547 @default.
• W372820652 cites W1573853539 @default.
• W372820652 cites W1574991981 @default.
• W372820652 cites W1577412708 @default.
• W372820652 cites W1587497712 @default.
• W372820652 cites W1791618115 @default.
• W372820652 cites W1836498066 @default.
• W372820652 cites W1969005071 @default.
• W372820652 cites W1974940962 @default.
• W372820652 cites W1978469611 @default.
• W372820652 cites W1989445634 @default.
• W372820652 cites W1992582873 @default.
• W372820652 cites W1994748133 @default.
• W372820652 cites W2000947342 @default.
• W372820652 cites W2004792300 @default.
• W372820652 cites W2004929506 @default.
• W372820652 cites W2011762419 @default.
• W372820652 cites W2014096115 @default.
• W372820652 cites W2017603160 @default.
• W372820652 cites W2023808162 @default.
• W372820652 cites W2024851598 @default.
• W372820652 cites W2045291344 @default.
• W372820652 cites W2047764485 @default.
• W372820652 cites W2049930808 @default.
• W372820652 cites W2080001594 @default.
• W372820652 cites W2082000355 @default.
• W372820652 cites W2096039823 @default.
• W372820652 cites W2098039922 @default.
• W372820652 cites W2112561088 @default.
• W372820652 cites W2114575161 @default.
• W372820652 cites W2115309705 @default.
• W372820652 cites W2135274583 @default.
• W372820652 cites W2137837392 @default.
• W372820652 cites W2138856440 @default.
• W372820652 cites W2140606869 @default.
• W372820652 cites W2143903830 @default.
• W372820652 cites W2171480813 @default.
• W372820652 cites W2177967933 @default.
• W372820652 cites W2206957158 @default.
• W372820652 cites W2295399529 @default.
• W372820652 cites W2295903414 @default.
• W372820652 cites W2422272475 @default.
• W372820652 cites W2495746187 @default.
• W372820652 cites W2608691796 @default.
• W372820652 cites W2911977919 @default.
• W372820652 cites W2913256667 @default.
• W372820652 cites W2913459036 @default.
• W372820652 cites W2507873988 @default.
• W372820652 cites W749729 @default.
• W372820652 hasPublicationYear "2006" @default.
• W372820652 type Work @default.
• W372820652 sameAs 372820652 @default.
• W372820652 citedByCount "2" @default.
• W372820652 countsByYear W3728206522016 @default.
• W372820652 countsByYear W3728206522018 @default.
• W372820652 crossrefType "journal-article" @default.
• W372820652 hasAuthorship W372820652A5091406840 @default.
• W372820652 hasConcept C154945302 @default.
• W372820652 hasConcept C2776214188 @default.
• W372820652 hasConcept C41008148 @default.
• W372820652 hasConceptScore W372820652C154945302 @default.
• W372820652 hasConceptScore W372820652C2776214188 @default.
• W372820652 hasConceptScore W372820652C41008148 @default.
• W372820652 hasLocation W3728206521 @default.
• W372820652 hasOpenAccess W372820652 @default.
• W372820652 hasPrimaryLocation W3728206521 @default.
• W372820652 hasRelatedWork W120333500 @default.
• W372820652 hasRelatedWork W139893391 @default.
• W372820652 hasRelatedWork W140455391 @default.
• W372820652 hasRelatedWork W1580085173 @default.
• W372820652 hasRelatedWork W172859451 @default.
• W372820652 hasRelatedWork W2110452971 @default.
• W372820652 hasRelatedWork W2281743211 @default.
• W372820652 hasRelatedWork W2340626788 @default.
• W372820652 hasRelatedWork W2405360215 @default.
• W372820652 hasRelatedWork W2475904364 @default.
• W372820652 hasRelatedWork W2496190092 @default.
• W372820652 hasRelatedWork W2527855541 @default.
• W372820652 hasRelatedWork W2573385154 @default.
• W372820652 hasRelatedWork W2738634278 @default.
• W372820652 hasRelatedWork W2900000803 @default.
• W372820652 hasRelatedWork W2987870346 @default.
• W372820652 hasRelatedWork W41095567 @default.
• W372820652 hasRelatedWork W94801186 @default.
• W372820652 hasRelatedWork W98483071 @default.
• W372820652 hasRelatedWork W3146196293 @default.
• W372820652 isParatext "false" @default.

• next