Search Results for Enea, Constantin.

5 sonuç bulundu

00000DEFAULT_TR

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Yazar

Enea, Constantin. editor. Lal, Akash. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III

Yazar

Enea, Constantin. editor. Lal, Akash. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-37709-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

Yazar

Enea, Constantin. editor. Lal, Akash. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-37703-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Yazar

Enea, Constantin. editor. Piskac, Ruzica. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-11245-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Networked Systems 12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, Proceedings

Yazar

Castañeda, Armando. editor. (orcid)0000-0002-8017-8639 Enea, Constantin. editor. Gupta, Nirupam. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}