TY - GEN digital ID - 131157502 TI - Formal Modeling and Analysis of Timed Systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings AU - Raskin, Jean-François AU - Thiagarajan, P. S. PY - 2007 SN - 9783540754541 PB - Berlin, Heidelberg Springer-Verlag Berlin Heidelberg DB - UniCat KW - Computer science KW - Programming KW - Computer. Automation KW - informatica KW - programmeren (informatica) KW - programmeertalen KW - software engineering UR - https://www.unicat.be/uniCat?func=search&query=sysid:131157502 AB - ER -