{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T10:15:31Z","timestamp":1756635331378},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617235"},{"type":"electronic","value":"9783540706687"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61723-x_1050","type":"book-chapter","created":{"date-parts":[[2006,7,12]],"date-time":"2006-07-12T10:34:58Z","timestamp":1152700498000},"page":"869-879","source":"Crossref","is-referenced-by-count":14,"title":["Genetic algorithms for protocol validation"],"prefix":"10.1007","author":[{"given":"Enrique","family":"Alba","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 M.","family":"Troya","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,11]]},"reference":[{"key":"87_CR1","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1007\/978-3-7091-7533-0_99","volume-title":"Artificial Neural Nets and Genetic Algorithms","author":"E. Alba","year":"1993","unstructured":"Alba, E., Aldana, J. F. and Troya, J. M., Genetic Algorithms as Heuristics for Optimising ANN Design. R.F. Albrecht, C.R. Reeves and N.C. Steele (eds), Artificial Neural Nets and Genetic Algorithms, Innsbruck. Springer-Verlag, pp 683\u2013690. (1993)"},{"key":"87_CR2","first-page":"682","volume-title":"Load Balancing and Query Optimisation in Dataflow Parallel Evaluation of Datalog Programs","author":"E. Alba","year":"1994","unstructured":"Alba, E., Aldana, J. F. and Troya, J. M., Load Balancing and Query Optimisation in Dataflow Parallel Evaluation of Datalog Programs. Lionel M. Ni (ed), Proceedings of the International Conference on Parallel and Distributed Systems, Taiwan. IEEE Computer Society Press, pp 682\u2013688. (1994)"},{"key":"87_CR3","unstructured":"Beasley, D., Bull, D. R. and Martin, R. R., An Overview of Genetic Algorithms: Part 1 (Fundamentals) and Part 2 (Research Topics). University Computing, pp 58\u201369 15(2) and 15(4) pp 170\u2013181. (1993)"},{"key":"87_CR4","doi-asserted-by":"crossref","unstructured":"D\u00edaz, M. and Troya, J.M., A Parlog Based Real-Time Distributed Environment. Future Generation Computer Systems 9, pp 201\u2013218, North-Holland. (1993)","DOI":"10.1016\/0167-739X(93)90012-E"},{"key":"87_CR5","unstructured":"Goldberg, D. E., Genetic Algorithms, in Search, Optimization and Machine Learning. Addison-Wesley. (1989)"},{"key":"87_CR6","volume-title":"Artificial Intelligence Through Simulated Evolution","author":"L. J. Fogel","year":"1966","unstructured":"Fogel, L. J., Owens, A. J. and Walsh, M. J., Artificial Intelligence Through Simulated Evolution. New York, John Wiley. (1966)"},{"key":"87_CR7","unstructured":"ISO, LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO IS 8807. (1989)"},{"key":"87_CR8","unstructured":"ISO, ESTELLE-A Formal Description Technique Based on State Transition Model. ISO 9074. (1989)"}],"container-title":["Lecture Notes in Computer Science","Parallel Problem Solving from Nature \u2014 PPSN IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61723-X_1050","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T20:22:07Z","timestamp":1555705327000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61723-X_1050"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617235","9783540706687"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-61723-x_1050","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}