Germany / Norway / Estonia / United Kingdom / Lithuania / Latvia / Sweden / Finland / Denmark / / /
Facility
Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / University of Aarhus / University of Sussex / Their Models Matthew Hennessy University / /
IndustryTerm
software configuration / real time systems / lossy channel systems / iterative algorithm / synchronous reactive systems / interprocedural dataflow analysis algorithms / finite state systems / heterogeneous analysis systems / infinite-state systems / real-time systems / model checking algorithms / /
Organization
Danish National Research Foundation / University of Sussex / Sweden Local Organization / Norway SICS/Uppsala Univ. / Finland Univ. of Bergen / BRICS Department / University of Aarhus / Models Matthew Hennessy University / Department of Computer Science / Norway Univ. of Oslo / BRICS1 / Danish Science Research Council / Denmark Univ. of Aarhus / Finland Tampere Univ. of Tech / Sweden Univ. of G¨oteborg/Chalmers Univ. of Tech / Computer Science University of Aarhus Ny Munkegade / /
Person
Karen K. Møller / Olaf Owe Bengt Jonsson Bengt / Ralph-Johan Back Reino / Matthew Hennessy / Peter D. Mosses / Stirling / Peter D. Mosses Ralph-Johan / Kim G. Larsen Peter / Bernhard Steffen / L. Magnusson / Bernhard Steffen Universitiit Passau / Sigurd Meldal Olaf Owe Bengt / / /
BRICS Basic Research in Computer Science BRICS NS-94-4 P. D. Mosses (ed.): 6th Nordic Workshop on Programming Theory