DMCA

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

by R.J. van Glabbeek
Citations:368 - 20 self