UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KBC (1)

KU Leuven (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLL (1)

UGent (1)

ULB (1)

ULiège (1)

VIVES (1)
More...

Resource type

book (2)

Language

English (2)

Year

From To

2022 (2)

Listing 1 - 2 of 2
Sort by

Book

A journey from process algebra via timed automata to model learning : essays dedicated to Frits Vaandrager on the occasion of his 60th birthday
Authors: Stoelinga, Mariëlle --- van den Bos, Petra --- Jansen, Nils
ISBN: 3031156285 3031156293 Year: 2022 Publisher: Cham, Switzerland : Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Formal methods (Computer science) --- Computer science --- Mathematics. --- Computer mathematics --- Electronic data processing --- Mathematics --- System design

Book

A Journey from Process Algebra via Timed Automata to Model Learning
Authors: Jansen, Nils --- Stoelinga, Mariëlle --- van den Bos, Petra --- SpringerLink (Online service)
ISBN: 9783031156298 Year: 2022 Publisher: Cham Springer Nature Switzerland :Imprint: Springer

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Formal methods (Computer science) --- Computer science --- Mathematics. --- Computer mathematics --- Electronic data processing --- Mathematics --- System design

Listing 1 - 2 of 2
Sort by