Zum Inhalt springen

Barringer, Howard [HerausgeberIn] ; RV 1 2010 Saint Julian's

Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 6418
Barringer, Howard [HerausgeberIn]

Advances in temporal logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht [u.a.]: Kluwer Acad. Publ., 2000

Erschienen in: Applied logic series ; 16
Barringer, Howard [VerfasserIn] ; Falcone, Ylies [Sonstige Person, Familie und Körperschaft]; Finkbeiner, Bernd [Sonstige Person, Familie und Körperschaft]; Havelund, Klaus [Sonstige Person, Familie und Körperschaft]; Lee, Insup [Sonstige Person, Familie und Körperschaft]; Pace, Gordon J. [Sonstige Person, Familie und Körperschaft]; Rosu, Grigore [Sonstige Person, Familie und Körperschaft]; Sokolsky, Oleg [Sonstige Person, Familie und Körperschaft]; Tillmann, Nikolai [Sonstige Person, Familie und Körperschaft]

Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Erschienen in: Lecture notes in computer science ; 6418
Barringer, Howard [VerfasserIn] ; Fisher, Michael [HerausgeberIn]; Gabbay, Dov [HerausgeberIn]; Gough, Graham [HerausgeberIn]

Advances in Temporal Logic

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht: Springer, 2000

Erschienen in: Applied Logic Series ; 16- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics
Barringer, Howard [VerfasserIn]

A Survey of Verification Techniques for Parallel Programs

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1985

Erschienen in: Lecture notes in computer science ; 191
Barringer, Howard [VerfasserIn]

A survey of verification techniques for parallel programs

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1985 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 19100
Banieqbal, Behnam [VerfasserIn] ; Barringer, Howard [Sonstige Person, Familie und Körperschaft]; Pnueli, Amir [Sonstige Person, Familie und Körperschaft]

Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1989

Erschienen in: Lecture notes in computer science ; 398
Voronkov, Andrei [HerausgeberIn]; Korovina, Margarita [HerausgeberIn]; Barringer, Howard [GefeierteR] ; HOWARD-60 Veranstaltung 2011 Manchester, University of Manchester

HOWARD-60 : a festschrift on the occasion of Howard Barringer's 60th birthday

Online ansehen
Schließen

Zugang

https://easychair.org/publications/volume/HOWARD-60

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[Manchester]: EasyChair, February 12, 2014

Erschienen in: EPiC series in computing ; 42
BARRINGER, HOWARD

Editorial

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford University Press (OUP), 1991

Erschienen in: Journal of Logic and Computation
Barringer, Howard

A Survey of Verification Techniques for Parallel Programs

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1985

Erschienen in: Lecture Notes in Computer Science
Barringer, Howard; Havelund, Klaus

Runtime Verification: Internal versus External DSLs for Trace Analysis

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2012

Erschienen in: Runtime Verification
Barringer, Howard; Havelund, Klaus

Lecture Notes in Computer Science: TraceContract: A Scala DSL for Trace Analysis

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Lecture Notes in Computer Science
Baran, Joachim; Barringer, Howard

Runtime Verification: Forays into Sequential Composition and Concatenation in Eagle

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2008

Erschienen in: Runtime Verification
Baran, Joachim; Barringer, Howard

Logic, Language, Information and Computation: A Grammatical Representation of Visibly Pushdown Languages

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2007

Erschienen in: Logic, Language, Information and Computation
Visser, Willem; Barringer, Howard

Practical CTL * model checking: Should SPIN be extended?

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2000

Erschienen in: International Journal on Software Tools for Technology Transfer (STTT)
Banieqbal, Behnam; Barringer, Howard

Temporal Logic in Specification: Temporal logic with fixed points

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1989

Erschienen in: Temporal Logic in Specification
Barringer, Howard; Gabbay, Dov

Lecture Notes in Computer Science: Executing temporal logic: Review and prospects

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1988

Erschienen in: Lecture Notes in Computer Science
Barringer, Howard; Kuiper, Ruurd

The Analysis of Concurrent Systems: Towards the hierarchical, temporal logic, specification of concurrent systems

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1985

Erschienen in: The Analysis of Concurrent Systems
Barringer, Howard; Kuiper, Ruurd

Lecture Notes in Computer Science: Hierarchical development of concurrent systems in a temporal logic framework

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1985

Erschienen in: Lecture Notes in Computer Science
Barringer, Howard; Gabbay, Dov M.

Time for Verification: Modal and Temporal Argumentation Networks

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2010

Erschienen in: Time for Verification

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr