researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Formal Asp. Comput.
Home
Index
Info
Issue
Volume
8
, Issue
5
499
--
538
Nancy A. Lynch
,
Frits W. Vaandrager
.
Action Transducers and Timed Automata
539
--
564
Christoph Beierle
,
Egon Börger
.
Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types
565
--
584
J. Michael Spivey
.
Richer Types for Z
585
--
606
Scott A. Smolka
,
Bernhard Steffen
.
Priority as Extremal Probability
607
--
616
Susanne Graf
,
Bernhard Steffen
,
Gerald Lüttgen
.
Compositional Minimisation of Finite State Systems Using Interface Specifications