Search Results for Leuschel, Michael.

4 sonuç bulundu

0000DEFAULT_TR

Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Yazar

Leuschel, Michael. editor. Wehrheim, Heike. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-00255-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Yazar

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131 Leuschel, Michael. editor. (orcid)0000-0002-4595-1518 Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Yazar

Derrick, John. editor. Fitzgerald, John. editor. Gnesi, Stefania. editor. Khurshid, Sarfraz. editor. Leuschel, Michael. editor.

Yer Numarası