Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 1 of 1 |
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
Loading...
Authors:
Stoelinga, Mariëlle
---
van den Bos, Petra
---
Jansen, Nils
ISBN: 3031156285 3031156293 Year: 2022 Publisher: Cham, Switzerland : Springer,
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
| Listing 1 - 1 of 1 |
Sort by
|