Matches in SemOpenAlex for { <https://semopenalex.org/work/W4233952011> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4233952011 endingPage "261" @default.
- W4233952011 startingPage "244" @default.
- W4233952011 abstract "article Free Access Share on Model checking graphical user interfaces using abstractions Authors: Matthew B. Dwyer Kansas State University, Department of Computing and Information Sciences, 234 Nichols Hall, Manhattan, KS Kansas State University, Department of Computing and Information Sciences, 234 Nichols Hall, Manhattan, KSView Profile , Vicki Carr Kansas State University, Department of Computing and Information Sciences, 234 Nichols Hall, Manhattan, KS Kansas State University, Department of Computing and Information Sciences, 234 Nichols Hall, Manhattan, KSView Profile , Laura Hines Kansas State University, Department of Computing and Information Sciences, 234 Nichols Hall, Manhattan, KS Kansas State University, Department of Computing and Information Sciences, 234 Nichols Hall, Manhattan, KSView Profile Authors Info & Claims ACM SIGSOFT Software Engineering NotesVolume 22Issue 6Nov. 1997 pp 244–261https://doi.org/10.1145/267896.267914Online:01 November 1997Publication History 26citation572DownloadsMetricsTotal Citations26Total Downloads572Last 12 Months13Last 6 weeks2 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF" @default.
- W4233952011 created "2022-05-12" @default.
- W4233952011 creator A5022748498 @default.
- W4233952011 creator A5067702944 @default.
- W4233952011 creator A5086757331 @default.
- W4233952011 date "1997-11-01" @default.
- W4233952011 modified "2023-10-09" @default.
- W4233952011 title "Model checking graphical user interfaces using abstractions" @default.
- W4233952011 cites W1971107784 @default.
- W4233952011 cites W1996750290 @default.
- W4233952011 cites W2018118431 @default.
- W4233952011 cites W2030837954 @default.
- W4233952011 cites W2048707641 @default.
- W4233952011 cites W2080593426 @default.
- W4233952011 cites W2105180288 @default.
- W4233952011 cites W2107978495 @default.
- W4233952011 cites W2129058735 @default.
- W4233952011 cites W2143292990 @default.
- W4233952011 cites W4238141103 @default.
- W4233952011 cites W4251311470 @default.
- W4233952011 cites W4255965913 @default.
- W4233952011 doi "https://doi.org/10.1145/267896.267914" @default.
- W4233952011 hasPublicationYear "1997" @default.
- W4233952011 type Work @default.
- W4233952011 citedByCount "3" @default.
- W4233952011 countsByYear W42339520112014 @default.
- W4233952011 crossrefType "journal-article" @default.
- W4233952011 hasAuthorship W4233952011A5022748498 @default.
- W4233952011 hasAuthorship W4233952011A5067702944 @default.
- W4233952011 hasAuthorship W4233952011A5086757331 @default.
- W4233952011 hasBestOaLocation W42339520111 @default.
- W4233952011 hasConcept C161191863 @default.
- W4233952011 hasConcept C199360897 @default.
- W4233952011 hasConcept C2778805511 @default.
- W4233952011 hasConcept C41008148 @default.
- W4233952011 hasConcept C48103436 @default.
- W4233952011 hasConceptScore W4233952011C161191863 @default.
- W4233952011 hasConceptScore W4233952011C199360897 @default.
- W4233952011 hasConceptScore W4233952011C2778805511 @default.
- W4233952011 hasConceptScore W4233952011C41008148 @default.
- W4233952011 hasConceptScore W4233952011C48103436 @default.
- W4233952011 hasIssue "6" @default.
- W4233952011 hasLocation W42339520111 @default.
- W4233952011 hasOpenAccess W4233952011 @default.
- W4233952011 hasPrimaryLocation W42339520111 @default.
- W4233952011 hasRelatedWork W1596801655 @default.
- W4233952011 hasRelatedWork W2130043461 @default.
- W4233952011 hasRelatedWork W2350741829 @default.
- W4233952011 hasRelatedWork W2358668433 @default.
- W4233952011 hasRelatedWork W2376932109 @default.
- W4233952011 hasRelatedWork W2382290278 @default.
- W4233952011 hasRelatedWork W2390279801 @default.
- W4233952011 hasRelatedWork W2748952813 @default.
- W4233952011 hasRelatedWork W2899084033 @default.
- W4233952011 hasRelatedWork W2530322880 @default.
- W4233952011 hasVolume "22" @default.
- W4233952011 isParatext "false" @default.
- W4233952011 isRetracted "false" @default.
- W4233952011 workType "article" @default.