The Linear Time-Branching Time Spectrum II - The semantics of sequential systems with silent moves (1993)

by R.J. van Glabbeek
Citations:290 - 17 self