Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase model checking agent (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2004 (1) 2008 (4) 2010 (1) 2012 (1)
Publication types (Num. hits)
article(1) inproceedings(6)
Venues (Conferences, Journals, ...)
AAMAS(1) Autom. Softw. Eng.(1) CLIMA(1) DALT(1) ISDA(1) JELIA(1) KES-AMSTA(1)
Authors
Ali Selamat(2) Siti Dianah Abdul Bujang(2) Christopher D. Walton(1) Frank S. de Boer(1) Koen iV. indriks(1) Koen V. Hindriks(1) Lacramioara Astefanoaei(1) Louise A. Dennis(1) M. Birna van Riemsdijk(1) Matthew P. Webster(1) Michael Fisher(1) Rafael H. Bordini(1) Sung-Shik T. Q. Jongmans(1) Wiebe van der Hoek(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
3Ali Selamat, Siti Dianah Abdul Bujang The Design of Model Checking Agent for SMS Management System. Search on Bibsonomy KES-AMSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking agent, SMS management system, direct sales and network marketing, e-business
1Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini Model checking agent programming languages. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk Model Checking Agent Programs by Using the Program Interpreter. Search on Bibsonomy CLIMA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Siti Dianah Abdul Bujang, Ali Selamat Verification of Mobile SMS Application with Model Checking Agent. Search on Bibsonomy ISDA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Lacramioara Astefanoaei, Frank S. de Boer Model-checking agent refinement. Search on Bibsonomy AAMAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Koen iV. indriks, Wiebe van der Hoek GOAL Agents Instantiate Intention Logic. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christopher D. Walton Model Checking Agent Dialogues. Search on Bibsonomy DALT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.