𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 International Conference of the Chilean Computer Science Society (SCCC) - Punta Arenas, Chile (2008.11.10-2008.11.14)] 2008 International Conference of the Chilean Computer Science Society - BMC Encoding for Concurrent Systems

✍ Scribed by Rakotoarisoa, Manitra; Pastor, Enric

Book ID: 126721021
Publisher: IEEE
Year: 2008
Weight: 257 KB
Category: Article
ISBN: 0769534031
DOI: 10.1109/SCCC.2008.22

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 International Conference of t

[IEEE 2008 International Conference of the Chilean Computer Science Society (SCCC) - Punta Arenas, Chile (2008.11.10-2008.11.14)] 2008 International Conference of the Chilean Computer Science Society - A Domain Specific Language for the Development of Collaborative Systems

✍ Bibbo, Luis Mariano; García, Diego; Pons, Claudia 📂 Article 📅 2008 🏛 IEEE ⚖ 438 KB

[IEEE 2008 International Conference of t

[IEEE 2008 International Conference of the Chilean Computer Science Society (SCCC) - Punta Arenas, Chile (2008.11.10-2008.11.14)] 2008 International Conference of the Chilean Computer Science Society - A Framework of Composable Access Control Definition, Enforcement and Assurance

✍ Pavlich-Mariscal, Jaime A.; Demurjian, Steven A.; Michel, Laurent D. 📂 Article 📅 2008 🏛 IEEE ⚖ 571 KB

[IEEE 2008 International Conference of t

[IEEE 2008 International Conference of the Chilean Computer Science Society (SCCC) - Punta Arenas, Chile (2008.11.10-2008.11.14)] 2008 International Conference of the Chilean Computer Science Society - Mapping Tasks to Processors in Heterogeneous Multiprocessor Architectures: The MATEHa Algorithm

✍ De Giusti, Laura; Chichizola, Franco; Naiouf, Marcelo; De Giusti, Armando 📂 Article 📅 2008 🏛 IEEE ⚖ 298 KB

[IEEE 2008 International Conference of t

[IEEE 2008 International Conference of the Chilean Computer Science Society (SCCC) - Punta Arenas, Chile (2008.11.10-2008.11.14)] 2008 International Conference of the Chilean Computer Science Society - Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities

✍ Gonzalez, Ariel; Luna, Carlos 📂 Article 📅 2008 🏛 IEEE ⚖ 504 KB

[IEEE XXV International Conference of th

[IEEE XXV International Conference of the Chilean Computer Science Society (SCCC'05) - Valdivia, Chile (07-11 Nov. 2005)] XXV International Conference of the Chilean Computer Science Society (SCCC'05) - A Stochastic Non-deterministic Temporal Concurrent Constraint Calculus

✍ Olarte, C.; Rueda, C. 📂 Article 📅 2005 🏛 IEEE ⚖ 264 KB

[IEEE Comput. Soc SCCC 2001. 21st Intern

[IEEE Comput. Soc SCCC 2001. 21st International Conference of the Chilean Computer Science Society - Punta Arenas, Chile (7-9 Nov. 2001)] SCCC 2001. 21st International Conference of the Chilean Computer Science Society - Empirical validation of class diagram complexity metrics

✍ Genero, M.; Piattini, M.; Jimenez, L. 📂 Article 📅 2001 🏛 IEEE Comput. Soc 🌐 English ⚖ 138 KB