Author Search Results

1

Tools and Algorithms for the Construction and Analysis of Systems : : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II.

Participants: Groote, Jan Friso. [ ]; Larsen, Kim Guldstrand. [ TeilnehmendeR ]
Published: 2021.
Superior document: Lecture Notes in Computer Science Series ; v.12652

Links: Get full text

2

Tools and Algorithms for the Construction and Analysis of Systems : : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I.

Participants: Groote, Jan Friso. [ ]; Larsen, Kim Guldstrand. [ TeilnehmendeR ]
Published: 2021.
Superior document: Lecture Notes in Computer Science Series ; v.12651

Links: Get full text

3

Tools and Algorithms for the Construction and Analysis of Systems : : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I / / edited by Jan Friso Groote, Kim Guldstrand Larsen.

Participants: Groote, Jan Friso. [ ]; Larsen, Kim Guldstrand. [ TeilnehmendeR ]
Published: 2021.
Superior document: Theoretical Computer Science and General Issues, 12651

4

Tools and Algorithms for the Construction and Analysis of Systems : : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II / / edited by Jan Friso Groote, Kim Guldstrand Larsen.

Participants: Groote, Jan Friso. [ ]; Larsen, Kim Guldstrand. [ TeilnehmendeR ]
Published: 2021.
Superior document: Theoretical Computer Science and General Issues, 12652