Formal requirements for virtualizable third generation architectures

From MaRDI portal
Publication:4769979