| Ditemukan 29 dokumen dengan kata kunci 4656 |
Simpan CSV  |
|
A Translation-based Approach to the Verification of Modular Equivalence
|
| Pengarang: Emilia Oikarinen and Tomi Janhunen | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 591-613 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Collaborative Runtime Verification with Tracematches
|
| Pengarang: Eric Bodden, Laurie Hendren, Patrick Lam, Ondřej Lhoták, dll | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 707-723 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Comparing LTL Semantics for Runtime Verification
|
| Pengarang: Andreas Bauer, Martin Leucker, and Christian Schallhart | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 651-674 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Verification of Games in the Game Description Language
|
| Pengarang: Ji Ruan, Wiebe van der Hoek, and Michael Wooldridge | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1127-1156 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Property-based Slicing for Agent Verification
|
| Pengarang: Rafael H. Bordini, Michael Fisher, Michael Wooldridge, and Willem Visser | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1385-1425 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Interaction-based Runtime Verification for Systems of Systems Integration
|
| Pengarang: Ingolf H. Krüger, Michael Meisinger, and Massimiliano Menarini | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 725-742 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A General Approach to Aggregation Problems
|
| Pengarang: Tijmen R. Daniëls and Eric Pacuit | No. Panggil: Journal of Logic and Computation June 2009, 19 (3), p. 517-536 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Trilattice logic: an embedding-based approach
|
| Pengarang: Norihiro Kamide | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (581-611) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A hybrid qualitative approach for relative movements
|
| Pengarang: Joanna Golińska-Pilarek and Emilio Muńoz-Velasco | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 410-420) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
An equational approach to the merging of argumentation networks
|
| Pengarang: Dov. M. Gabbay and Odinaldo Rodrigues | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1253-1277) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
