Search Results for Temporal automata.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

SpringerLink (Online service)

(14)

Duan, Zhenhua. editor.

(2)

Liu, Shaoying. editor.

(2)

Agarwal, Sonali. editor.

(1)

Angelov, Plamen. editor.

(1)

Calvo Rolle, José Luis. editor.

(1)

Chaudhuri, Swarat. editor.

(1)

Corchado, Emilio. editor.

(1)

Dubslaff, Clemens. editor.

(1)

Ekbal, Asif. editor.

(1)

Fernau, Henning. editor.

(1)

Fisher, Michael, 1962-

(1)

Fishwick, Paul A.

(1)

García Bringas, Pablo. editor.

(1)

Herrero, Álvaro. editor.

(1)

Iliadis, Lazaros. editor. (orcid)

(1)

Jansen, Klaus. editor.

(1)

Jatowt, Adam. editor.

(1)

Jayne, Chrisina. editor.

(1)

Liu, Ai. editor.

(1)

(1)

Martínez de Pisón, Francisco Javier. editor.

(1)

Martínez Álvarez, Francisco. editor.

(1)

Ozawa, Seiichi. editor.

(1)

Papaleonidas, Antonios. editor. (orcid)

(1)

Penczek, Wojciech. author.

(1)

Petrucci, Laure. editor.

(1)

Pitts, Andrew. editor. (orcid)

(1)

Puppis, Gabriele. author.

(1)

Pérez García, Hilde. editor.

(1)

Pólrola, Agata. author.

(1)

Quintián, Héctor. editor.

(1)

Ramanayake, Revantha. editor.

(1)

Rozier, Kristin Yvonne. editor.

(1)

Sankaranarayanan, Sriram. editor.

(1)

Sharygina, Natasha. editor.

(1)

Sproston, Jeremy. editor.

(1)

Tanveer, Mohammad. editor.

(1)

Tarifa, Silvia Lizeth Tapia. editor.

(1)

Troncoso Lora, Alicia. editor. (orcid)

(1)

Urban, Josef. editor.

(1)

Ábrahám, Erika. editor.

(1)

Language

(17)

Publication Date

-

(10)

(2)

(2)

(1)

(1)

(1)

Subject

Artificial intelligence.

(2)

Computer science.

(1)

Computer simulation.

(1)

Computer software.

(1)

Data mining -- Mathematical models.

(1)

(1)

Electronic books.

(1)

Engineering mathematics.

(1)

(1)

(1)

Logic, Symbolic and mathematical.

(1)

Machine learning.

(1)

Software engineering.

(1)

(1)

Temporal automata.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

17 Results Found

Subscribe to search results

1 2

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems

Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems

Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems

Author

Puppis, Gabriele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11881-4

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach

Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach

Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach

Author

Penczek, Wojciech. author. Pólrola, Agata. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-32870-4

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Author

Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520984.1)

Electronic Access

https://doi.org/10.1007/978-3-031-33170-1

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

Author

García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)

Preferred Shelf Number

XX(521307.1)

Electronic Access

https://doi.org/10.1007/978-3-031-40725-3

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VIII

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VIII

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VIII

Author

Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521311.1)

Electronic Access

https://doi.org/10.1007/978-3-031-44198-1

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

Author

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520840.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30820-8

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Author

Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521139.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43513-3

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Author

Liu, Shaoying. editor. Duan, Zhenhua. editor. Liu, Ai. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520911.1)

Electronic Access

https://doi.org/10.1007/978-3-031-29476-1

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

Author

Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521082.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42626-1

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings

Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings

Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings

Author

Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521195.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43587-4

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

Author

Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521340.1)

Electronic Access

https://doi.org/10.1007/978-3-031-47963-2

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I

Author

Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.

Preferred Shelf Number

XX(521388.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30105-6

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11