Author Search Results

1

Tools and Algorithms for the Construction and Analysis of Systems : : 28th International Conference, TACAS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I.

Participants: Fisman, Dana. [ ]; Rosu, Grigore. [ TeilnehmendeR ]
Published: 2022.
Superior document: Lecture Notes in Computer Science Series ; v.13243

Other Authors: “...Rosu, Grigore....”

Links: Get full text

2

Tools and Algorithms for the Construction and Analysis of Systems : : 28th International Conference, TACAS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II.

Participants: Fisman, Dana. [ ]; Rosu, Grigore. [ TeilnehmendeR ]
Published: 2022.
Superior document: Lecture Notes in Computer Science Series ; v.13244

Other Authors: “...Rosu, Grigore....”

Links: Get full text

3

Tools and algorithms for the construction and analysis of systems : : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Part II .

Participants: Fisman, Dana. [ TeilnehmendeR ]; Rosu, Grigore. [ TeilnehmendeR ]
Published: 2022.
Superior document: Lecture notes in computer science v.13244

Other Authors: “...Rosu, Grigore....”

4

Tools and algorithms for the construction and analysis of systems : : 28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. / editors, Dana Fisman, Grigore Rosu.

Participants: TACAS (Conference) [ ]; Fisman, Dana. [ TeilnehmendeR ]; Rosu, Grigore. [ TeilnehmendeR ]; TACAS (Conference) (28th : 2022 : Munich, Germany; online) [ TeilnehmendeR ]
Published: 2022.
Superior document: Lecture notes in computer science v.13243

Other Authors: “...Rosu, Grigore....”

Academy-CATalogPlus

Grigore Roșu