[American Institute of Aeronautics and Astronautics 8th Computing in Aerospace Conference - Baltimore,MD,U.S.A. (21 October 1991 - 24 October 1991)] 8th Computing in Aerospace Conference - Verifying concurrent system behavior with Petri net invariants

[American Institute of Aeronautics and A

✍ MCLENDON, JR., WILLIAM; VIDALE, RICHARD 📂 Article 📅 1991 🏛 American Institute of Aeronautics and Astronautics ⚖ 481 KB

[American Institute of Aeronautics and A

✍ GOSWAMI, KUMAR; CHOI, GWAN; IYER, RAVI 📂 Article 📅 1991 🏛 American Institute of Aeronautics and Astronautics ⚖ 962 KB

[American Institute of Aeronautics and A

✍ SAAB, DANIEL 📂 Article 📅 1991 🏛 American Institute of Aeronautics and Astronautics ⚖ 148 KB

[American Institute of Aeronautics and A

✍ BARRETTE, ANNE 📂 Article 📅 1991 🏛 American Institute of Aeronautics and Astronautics ⚖ 193 KB

[American Institute of Aeronautics and A

✍ LUTZ, ROBYN; WONG, JOHNNY 📂 Article 📅 1991 🏛 American Institute of Aeronautics and Astronautics ⚖ 356 KB

[American Institute of Aeronautics and A

✍ LADWIG, MICHAEL; PAGE, WALTON; DOLSEN, GARY 📂 Article 📅 1991 🏛 American Institute of Aeronautics and Astronautics ⚖ 184 KB