Zoekresultaten
Resultaat 1 - 7 (van 7)
Izak van Langevelde | Albert Philipsen | Jan Treur A compositional architecture for simple design
formally specified in DESIRE
Non-fictie
Engels | 57 pagina's | Vrije Universiteit, Department of Mathematics and Computer Science, Artificial Intelligence Group, Amsterdam | 1992
Gedrukt boek
Izak van Langevelde On the link between chaining and resolution
Non-fictie
Engels | 59 pagina's | Vrije Universiteit, Department of Mathematics and Computer Science, Artificial Intelligence Group, Amsterdam | 1991
Gedrukt boek
Izak van Langevelde | Jan Treur Logical methods in protocol analysis
Non-fictie
Engels | Vrije Universiteit, Department of Mathematics and Computer Science, Artificial Intelligence Group, Amsterdam | 1991
Gedrukt boek
Izak van Langevelde | Jan Treur Tackling the incompleteness of chaining
Non-fictie
Engels | 50 pagina's | Vrije Universiteit, Department of Mathematics and Computer Science, Artificial Intelligence Group, Amsterdam | 1991
Gedrukt boek
Izak van Langevelde | Albert Philipsen | Jan Treur Formal specification of compositional architectures
Non-fictie
Engels | 40 pagina's | Vrije Universiteit, Department of Mathematics and Computer Science, Artificial Intelligence Group, Amsterdam | 1991
Gedrukt boek
Izak van Langevelde Symmetry in labeled transition systems
Non-fictie
Engels | 42 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2003
Gedrukt boek
Izak van Langevelde A compact file format for labeled transition systems
Non-fictie
Engels | 11 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2001
Gedrukt boek