Yazar
Gorrieri, Roberto. author.
Format:
Electronic Resources
Alıntı:
Introduction to Concurrency Theory Transition Systems and CCS / Gorrieri, Roberto. author.
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
View Other Search Results
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Yazar
Badouel, Eric. author.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems.
Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
Information Systems and Communication Service. https://scigraph.springernature.com/ontologies
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Computer Systems Organization and Communication Networks.
Yazar
Biere, Armin. editor.
Format:
Electronic Resources
Alıntı:
Computer Systems Organization and Communication Networks.
Yazar
Schiex, Thomas. editor. (orcid)0000-0001-6049-3415
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com
Arama Sonuçlarını Sınırlandır
Daraltılmış: