Katoen Natie is an international logistics service provider and port operator. The company is present in 36 countries in five continents and employs about...

Joost-Pieter Katoen (born October 6, 1964) is a Dutch theoretical computer scientist based in Germany. He is distinguished professor in Computer Science...

Jessica Franka – Henk Kuijpers Hector and Dexter (a.k.a. Coton et Piston and Katoen en Pinbal) – Joost Swarte Julian Opie's Portraits – Julian Opie Kurt Dunder...

representing Belgian municipalities and intermunicipal companies, 6.95% by Katoen Natie, 4.27% by Interfin, 2.51% by Publipart, a holding company of EDF Luminus...

Gossypium barbadense is one of several species of cotton. It is in the mallow family. It has been cultivated since antiquity, but has been especially prized...

LT properties. Baier & Katoen (2008), p. 126. Baier & Katoen (2008), pp. 97–98. Baier & Katoen (2008), pp. 97–99. Baier & Katoen (2008), p. 102. Alpern...

D'Ieteren  Belgium 4 billion D'Ieteren 949 Fernand Huts  Belgium 3.4 billion Katoen Natie 949 Alexandre Van Damme  Belgium 3.4 billion Jupiler 991 Catheline...

Frédéric Lang, and Wendelin Serwe, From LOTOS to LNT. In Joost-Pieter Katoen, Rom Langerak, and Arend Rensink, editors, ModelEd, TestEd, TrustEd - Essays...

46–57. doi:10.1109/SFCS.1977.32 Sec. 5.1 of Christel Baier and Joost-Pieter Katoen, Principles of Model Checking, MIT Press "Principles of Model Checking -...

specification requirements. It was written by Christel Baier and Joost-Pieter Katoen, and published in 2008 by MIT Press. The introduction and first chapter...