Koha online catalog › Results of search for 'su:"Timed automata"'

	1.	Formal Techniques for Networked and Distributed Systems-FORTE 2003 by Konig, Hartmut \| Heiner, Monika \| Wolisz, Adam. Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 KON] (1). Place hold
	2.	No cover image available Handbook of Automata Theory : Volumes I (Theoretical Foundations) and II (Automata in Mathematics and Selected Applications) by Pin, Jean-Éric [ed.]. Publisher: Germany : EMS Press, 2021Availability: Items available for loan: [Call number: 510 PIN] (2). Place hold

Koha online