BibSonomy :: bibtex ::

tag user group author concept BibTeX key search:all

A blue social bookmark and publication sharing system.

tags · relations · groups · popular	help · blog · about
username: password: myFriends myRelations mySearch myPDF myDuplicates myBibTeX	login · register

publications

(2)

BibTeX

RDF

other export options

previous | 1 | next

Model Checking-Based Genetic Programming with an Application to Mutual Exclusion

Gal Katz and Doron Peled Tools and Algorithms for the Construction and Analysis of Systems 141--156 (2008)
to algorithms, genetic programming by brazovayeye on 2008-06-19 17:35:00
| BibTeX
Model Checking-Based Genetic Programming with an Application to Mutual Exclusion.

Gal Katz and Doron Peled TACAS 141-156 (2008)
to dblp by dblp on 2008-04-21 00:00:00
| URL | BibTeX

previous | 1 | next

Showing 10 items per page. Show 10, 25, 50, 100 items per page.