CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
2 research outputs found
Detection of dynamic execution errors in IBM system automation's rule-based expert system
Author
Agarwal
Andert
+39 more
Biere
Bowen
Bryant
Carsten Sinz
Craigen
Fenton
Gamble
Grumberg
Hall
Harel
Harel
Hayes-Roth
Hörl
Jürgen Schneider
Kaiser
Kautz
Kautz
Küchlin
Moskewicz
Nazareth
Nazareth
Nazareth
Nguyen
Pfleeger
Preece
Ramaswamy
Shaft
Sinz
Sinz
Sinz
Sommerville
Spreeuwenberg
Streett
Thomas Lumpp
Uribe
van Benthem
Waldinger
Wolfgang Küchlin
Zhang
Publication venue
'Elsevier BV'
Publication date
Field of study
Full text link
Crossref
Looping vs. repeating in dynamic logic
Author
Clarke
D. Harel
+11 more
Emerson
Fischer
Harel
Harel
Hopcroft
McNaughton
Meyer
Pratt
R. Sherman
Street
Street
Publication venue
'Elsevier BV'
Publication date
Field of study
No full text
Crossref