IBL Tool - Digitale Bibliotheek

Digitale Bibliotheek

Tijdschrift beschrijving

Alle jaargangen van het bijbehorende tijdschrift

Alle afleveringen van het bijbehorende jaargang

Alle artikelen van de bijbehorende aflevering

15 gevonden resultaten

nr	titel	auteur	tijdschrift	jaar	jaarg.	afl.	pagina('s)	type
1	A Comparative Study of Some Generalized Rough Approximations	Anna Gomolińska		2003	51	1-2	p. 103-119	artikel
2	A Comparison of Different Decision Algorithms Used in Volumetric Storm Cells Classification	Zbigniew Suraj		2003	51	1-2	p. 201-214	artikel
3	A Notion of Non-Interference for Timed Automata	Roberto Barbuti		2003	51	1-2	p. 1-11	artikel
4	Bounded Model Checking for the Universal Fragment of CTL	Wojciech Penczek		2003	51	1-2	p. 135-156	artikel
5	Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures	Bernard Farwer		2003	51	1-2	p. 91-101	artikel
6	Global Action Rules in Distributed Knowledge Systems	Zbigniew W. Raś		2003	51	1-2	p. 175-184	artikel
7	Minimizing the Number of Successor States in the Stubborn Set Method	Kimmo Varpaaniemi		2003	51	1-2	p. 215-234	artikel
8	Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets	Irina A. Lomazova		2003	51	1-2	p. 121-133	artikel
9	Place/Transition Petri net Evolutions: Recording Ways, Analysis and Synthesis	Ludwik Czaja		2003	51	1-2	p. 43-58	artikel
10	Preface	Ludwik Czaja		2003	51	1-2	p. i-ii	artikel
11	Products and Polymorphic Subtypes	Bono, Viviana		2003	51	1-2	p. 13-41	artikel
12	Reachability in Contextual Nets	Józef Winkowski		2003	51	1-2	p. 235-250	artikel
13	Towards an Ontology of Approximate Reason	James F. Peters		2003	51	1-2	p. 157-173	artikel
14	Verification of Non-functional Properties of a Composable Architecture with Petrinets	Jan Richling		2003	51	1-2	p. 185-200	artikel
15	Verification of Timed Automata Based on Similarity	Piotr Dembiński		2003	51	1-2	p. 59-89	artikel

15 gevonden resultaten

Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland