Language / Country:
Sites similar to Lms.Uni-mb.Si
Laboratorij za mikroracunalniske sisteme
Description: A BDD based tool for the formal verification of concurrent systems using a propositional branching-time temporal logic: action computation tree logic (ACTL). It runs under different OS, including Linux and Windows 95/98/NT.
Popular Searches: lms uni mb
Site rating:
3.0 / 5.0, reviewed by Sites Like Search
Language: English
Site topics: math
Department of Computer Science. Major research areas include artificial intelligence, graphics, image processing, expert systems, mathematical software and ...
Site rating:
3.0 / 5.0, Language: English
Dormeo ležišče, vzglavniki, odeje - za kakovosten in zdrav spanec izberite ležišče iz vrhunskih materialov po svojih željah.
Site rating:
3.1 / 5.0, Language: Slovensko
Online philosophy reference work, articles are authored and updated by experts in the field. Edited by Edward Zalta.
Site rating:
3.0 / 5.0, Language: English
First in a series of posts to the www-math mailing list on using TL operators in web pages. Clicking [Prev] will continue through the series.
Site rating:
3.0 / 5.0, Language: English
Full text of book online in HTML. "A popular sketch of a great historical character who ought to be more popular."
Site rating:
3.0 / 5.0, Language: English
Earlham College, an independent, residential college, aspires to provide the highest quality undergraduate education in the liberal arts, including the sciences ...
Site rating:
4.2 / 5.0, Language: English
A brief analysis of the computational aspects of linear logic by Max Kanovich.
Site rating:
3.0 / 5.0, Language: English
Time-Rover Software is a leader in UML-based modeling, specification, validation, and verification of safety-critical software. Time-Rover Software's ...
Site rating:
3.0 / 5.0, Language: English