Versi liveCD dari koleksi perpustakaan STIKOM DB Digital Library Alamat: Jln. Jenderal Sudirman Info lebih lanjut
Path: Home � Komentar
Local Model Checking Algorithm Based on Mu-calculus with Partial Orders