Zum Inhalt springen

Emerson, E. Allen [Herausgeber:in]; Namjoshi, Kedar S. [Sonstige Person, Familie und Körperschaft] ; VMCAI 7 2006 Charleston, SC

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings

Online ansehen
Schließen

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, 2006

Erschienen in: Lecture notes in computer science ; 3855
Emerson, E. Allen [Herausgeber:in]; Sistla, Aravinda Prasad [Sonstige Person, Familie und Körperschaft] ; CAV 12 2000 Chicago, Ill

Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings

Online ansehen
Schließen

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, 2000

Erschienen in: Lecture notes in computer science ; 1855
Lyttle, David [Verfasser:in] ; Edwards, Jonathan [Sonstige Person, Familie und Körperschaft]; Poe, Edgar Allan [Sonstige Person, Familie und Körperschaft]; Channing, William Ellery [Sonstige Person, Familie und Körperschaft]; Emerson, Ralph Waldo [Sonstige Person, Familie und Körperschaft]; Hawthorne, Nathaniel [Sonstige Person, Familie und Körperschaft]; Thoreau, Henry David [Sonstige Person, Familie und Körperschaft]

Studies in religion in early American literature : Edwards, Poe, Channing, Emerson, some minor transcendentalists, Hawthorne, and Thoreau

Schließen

Merkliste

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

Lanham, MD: University Press of America, 1983
Emerson, E. Allen [Verfasser:in] ; Sistla, A. Prasad [Sonstige Person, Familie und Körperschaft]

Computer Aided Verification : 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

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, 2000

Erschienen in: Lecture notes in computer science ; 1855
Emerson, E. Allen [Verfasser:in] ; Sistla, Aravinda Prasad [Sonstige Person, Familie und Körperschaft]

Computer Aided Verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

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

Berlin; Heidelberg: Springer, 2000

Erschienen in: Lecture notes in computer science ; 185500
Emerson, E. Allen [Sonstige Person, Familie und Körperschaft]; Namjoshi, Kedar S. [Sonstige Person, Familie und Körperschaft]

Verification, Model Checking, and Abstract Interpretation (vol. # 3855) : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

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, 2006

Erschienen in: Lecture notes in computer science ; 3855
Bres, Stéphane [Sonstige Person, Familie und Körperschaft]; Emerson, E. Allen [Sonstige Person, Familie und Körperschaft]; Laurini, Robert [Sonstige Person, Familie und Körperschaft]

Visual Information and Information Systems : 8th International Conference, VISUAL 2005, Amsterdam, The Netherlands, July 5, 2005, Revised Selected Papers

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

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, 2006

Erschienen in: Lecture notes in computer science ; 3736
Emerson, E. Allen

Lecture Notes in Computer Science: Meanings of Model Checking

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 Berlin Heidelberg, 2010

Erschienen in: Lecture Notes in Computer Science (2010), Seite 237-249
Allen Emerson, E.

Lecture Notes in Computer Science: Time of Time

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 Berlin Heidelberg, 2010

Erschienen in: Lecture Notes in Computer Science (2010), Seite 1-1
Emerson, E. Allen

Lecture Notes in Computer Science: Model Checking: Progress and Problems

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 Berlin Heidelberg, 2008

Erschienen in: Lecture Notes in Computer Science (2008), Seite 1-1
Emerson, E. Allen

Automated formal methods : model checking and beyond : model checking and beyond

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.

Association for Computing Machinery (ACM), 2000

Erschienen in: ACM SIGSOFT Software Engineering Notes, 25 (2000) 1, Seite 49
Emerson, E. Allen

Lecture Notes in Computer Science: Model Checking: Theory into Practice

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 Berlin Heidelberg, 2000

Erschienen in: Lecture Notes in Computer Science (2000), Seite 1-10
Emerson, E. Allen

Editorial for special issue on symmetry in automatic verification

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, 1996

Erschienen in: Formal Methods in System Design, 9 (1996) 1-2, Seite 5-6
Emerson, E. Allen

Lecture Notes in Computer Science: Automated temporal reasoning about reactive systems

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 Berlin Heidelberg, 1996

Erschienen in: Lecture Notes in Computer Science (1996), Seite 41-101
Emerson, E. Allen

Lecture Notes in Computer Science: Model checking and efficient automation of temporal reasoning

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 Berlin Heidelberg, 1995

Erschienen in: Lecture Notes in Computer Science (1995), Seite 393-394
Emerson, E. Allen

Lecture Notes in Computer Science: Real-time and the Mu-Calculus (preliminary report)

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 Berlin Heidelberg, 1992

Erschienen in: Lecture Notes in Computer Science (1992), Seite 176-194
Emerson, E.Allen

Uniform inevitability is tree automation ineffable

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.

Elsevier BV, 1987

Erschienen in: Information Processing Letters, 24 (1987) 2, Seite 77-79
Emerson, E. Allen

Lecture Notes in Computer Science: Automata, tableaux, and temporal logics : Extended Abstract

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 Berlin Heidelberg, 1985

Erschienen in: Lecture Notes in Computer Science (1985), Seite 79-88
Emerson, E.Allen

Alternative semantics for temporal logics

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.

Elsevier BV, 1983

Erschienen in: Theoretical Computer Science, 26 (1983) 1-2, Seite 121-130
Olivo, Oswaldo; Emerson, E. Allen

Lecture Notes in Computer Science: A More Efficient BDD-Based QBF Solver

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 Berlin Heidelberg, 2011

Erschienen in: Lecture Notes in Computer Science (2011), Seite 675-690

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