Matches in SemOpenAlex for { <https://semopenalex.org/work/W2154697130> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2154697130 endingPage "153" @default.
- W2154697130 startingPage "143" @default.
- W2154697130 abstract "This paper presents practices and experiences in developing the formal methods toolset mCRL2. Findings are presented based on years of experiences in developing tools in an academic environment. Practical problems and ways to solve them are discussed. We also present the direction that we foresee for the coming years of development in formal methods tool support. Copyright © 2010 John Wiley & Sons, Ltd." @default.
- W2154697130 created "2016-06-24" @default.
- W2154697130 creator A5006824372 @default.
- W2154697130 creator A5010819147 @default.
- W2154697130 creator A5030717695 @default.
- W2154697130 creator A5032619003 @default.
- W2154697130 creator A5042194099 @default.
- W2154697130 date "2010-11-29" @default.
- W2154697130 modified "2023-09-26" @default.
- W2154697130 title "Experiences in developing the mCRL2 toolset" @default.
- W2154697130 cites W1509936845 @default.
- W2154697130 cites W1593284044 @default.
- W2154697130 cites W1962072139 @default.
- W2154697130 cites W2015640848 @default.
- W2154697130 cites W2099320718 @default.
- W2154697130 cites W2112197627 @default.
- W2154697130 cites W2112525707 @default.
- W2154697130 cites W2126489030 @default.
- W2154697130 cites W2133625592 @default.
- W2154697130 cites W2139470733 @default.
- W2154697130 cites W2140317178 @default.
- W2154697130 cites W2141624400 @default.
- W2154697130 cites W2145096688 @default.
- W2154697130 cites W2168615519 @default.
- W2154697130 cites W4229696524 @default.
- W2154697130 doi "https://doi.org/10.1002/spe.1021" @default.
- W2154697130 hasPublicationYear "2010" @default.
- W2154697130 type Work @default.
- W2154697130 sameAs 2154697130 @default.
- W2154697130 citedByCount "8" @default.
- W2154697130 countsByYear W21546971302012 @default.
- W2154697130 countsByYear W21546971302013 @default.
- W2154697130 countsByYear W21546971302015 @default.
- W2154697130 crossrefType "journal-article" @default.
- W2154697130 hasAuthorship W2154697130A5006824372 @default.
- W2154697130 hasAuthorship W2154697130A5010819147 @default.
- W2154697130 hasAuthorship W2154697130A5030717695 @default.
- W2154697130 hasAuthorship W2154697130A5032619003 @default.
- W2154697130 hasAuthorship W2154697130A5042194099 @default.
- W2154697130 hasConcept C41008148 @default.
- W2154697130 hasConceptScore W2154697130C41008148 @default.
- W2154697130 hasIssue "2" @default.
- W2154697130 hasLocation W21546971301 @default.
- W2154697130 hasOpenAccess W2154697130 @default.
- W2154697130 hasPrimaryLocation W21546971301 @default.
- W2154697130 hasRelatedWork W2093578348 @default.
- W2154697130 hasRelatedWork W2350741829 @default.
- W2154697130 hasRelatedWork W2358668433 @default.
- W2154697130 hasRelatedWork W2376932109 @default.
- W2154697130 hasRelatedWork W2382290278 @default.
- W2154697130 hasRelatedWork W2390279801 @default.
- W2154697130 hasRelatedWork W2748952813 @default.
- W2154697130 hasRelatedWork W2766271392 @default.
- W2154697130 hasRelatedWork W2899084033 @default.
- W2154697130 hasRelatedWork W3004735627 @default.
- W2154697130 hasVolume "41" @default.
- W2154697130 isParatext "false" @default.
- W2154697130 isRetracted "false" @default.
- W2154697130 magId "2154697130" @default.
- W2154697130 workType "article" @default.