- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Foundations for using linear temporal logic in Event-B refinement ; day:27 ; month:4 ; year:2016 ; pages:1-27
Formal aspects of computing ; (27.4.2016), 1-27
- Urheber
-
Hoang, Thai Son
- Beteiligte Personen und Organisationen
-
Schneider, Steve
Treharne, Helen
Williams, David M.
SpringerLink (Online service)
- DOI
-
10.1007/s00165-016-0376-0
- URN
-
urn:nbn:de:1111-2016042938806
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:55 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Hoang, Thai Son
- Schneider, Steve
- Treharne, Helen
- Williams, David M.
- SpringerLink (Online service)
Ähnliche Objekte (12)
Backdoors for linear temporal logic
Backdoors for Linear Temporal Logic
Induction of linear temporal logic programs
Simple homomorphisms and linear temporal logic
Induction of Linear Temporal Logic Programs
On the Relationship of Event Order Logic and Linear Temporal Logic
SAT Meets Tableaux for Linear Temporal Logic Satisfiability
Foundations of logic programming
Foundations of logic programming
Foundations of intuitionistic logic
On syntactic action refinement and logic
Temporal Logic
Backdoors for linear temporal logic
Backdoors for Linear Temporal Logic
Induction of linear temporal logic programs
Simple homomorphisms and linear temporal logic
Induction of Linear Temporal Logic Programs
On the Relationship of Event Order Logic and Linear Temporal Logic
SAT Meets Tableaux for Linear Temporal Logic Satisfiability
Foundations of logic programming
Foundations of logic programming
Foundations of intuitionistic logic
On syntactic action refinement and logic
Temporal Logic
Backdoors for linear temporal logic
Backdoors for Linear Temporal Logic
Induction of linear temporal logic programs
Simple homomorphisms and linear temporal logic
Induction of Linear Temporal Logic Programs
On the Relationship of Event Order Logic and Linear Temporal Logic
SAT Meets Tableaux for Linear Temporal Logic Satisfiability
Foundations of logic programming
Foundations of logic programming
Foundations of intuitionistic logic
On syntactic action refinement and logic